% EXPECT: sat
x: REAL;
y: REAL;
ASSERT ((0 = IF TRUE THEN x ELSE 1 ENDIF) AND (0 = IF (x = 0) THEN 0 ELSE 1 ENDIF) AND (x = IF TRUE THEN y ELSE 0 ENDIF) AND (0 = IF TRUE THEN 0 ELSE 0 ENDIF));
CHECKSAT;
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback