janhaag/PSE2011 — Issue #31: Memory limit and timeout are not passed to Z3
Author: syras
Created: 2012-02-26 11:52:52+00:00
State: open

The memory limit and timeout settings are not passed to Z3, so a change in these settings has no effect on the behavior of the verifier.