janhaag/PSE2011 — Issue #15: possible division by zero in quantified expression
Author: danielbruns
Created: 2012-02-15 13:45:32+00:00
State: open

Parsing the following program fails, because the parser tries to put an "assert x != 0" in front of it, but x is not declared.
main (){} ensure forall x() 1/x == 1;