team-worthwhile/worthwhile — Issue #110: Interpreter ignores in-path assumptions
Author: bafain
Created: 2012-03-03 10:31:53+00:00
State: open
Labels: interpreter

The following annotations fail when executed by the interpreter but should succeed.

if (true) {
_assume false
}
_assert 0 = 1

and

_assume false
_assert 0 = 1

But note that it is still correct that these annotations succeed:

if (false) {
_assume false
}
_assert 0 = 1

This is related to #99.