% $Id: EvalTest.oz,v 1.1 2007/10/22 06:58:29 leavens Exp leavens $ \insert 'TestingNoStop.oz' \insert 'Eval.oz' {StartTesting 'Eval'} {Test {Eval intLit(1)} '==' intLit(1)} {Test {Eval boolLit(true)} '==' boolLit(true)} {Test {Eval boolLit(false)} '==' boolLit(false)} {Test {Eval subExp(intLit(54) intLit(1))} '==' intLit(53)} {Test {Eval equalExp(subExp(intLit(54) intLit(1)) subExp(intLit(52) intLit(~1)))} '==' boolLit(true)} {Test {Eval ifExp(equalExp(subExp(intLit(54) intLit(1)) subExp(intLit(52) intLit(~1))) subExp(intLit(0) intLit(1)) subExp(intLit(1) intLit(0)))} '==' intLit(~1)}