janhaag/PSE2011 — Issue #105: Inconsistent interpreter behavior
Author: janhaag
Created: 2012-03-06 22:13:56+00:00
State: open

Trying to interpret
main(){}ensure forall x() true;
yields a failure on the ensure; Z3, however, reports success.