Closed edsko closed 9 years ago
The ifdead/right/ cases in passIfDead are unreachable (eneg constructs a unary operator, which is not supported by impliesBool). Not sure what the intention was here.
Fixed by new interpreter.
The ifdead/right/ cases in passIfDead are unreachable (eneg constructs a unary operator, which is not supported by impliesBool). Not sure what the intention was here.