% $Id: NaturalsTest.oz,v 1.1 2007/10/22 05:23:37 leavens Exp leavens $ \insert 'TestingNoStop.oz' \insert 'NaturalsInClass.oz' {StartTesting 'Naturals'} % ::= zero % | succ() {Test {Plus zero zero} '==' zero} {Test {Plus zero succ(zero)} '==' succ(zero)} {Test {Plus succ(zero) zero} '==' succ(zero)} {Test {Plus succ(zero) succ(zero)} '==' succ(succ(zero))} {Test {Plus succ(succ(succ(succ(zero)))) succ(succ(succ(succ(succ(zero)))))} '==' succ(succ(succ(succ(succ(succ(succ(succ(succ(zero)))))))))} {Test {Plus succ(succ(succ(zero))) succ(succ(succ(succ(succ(zero)))))} '==' succ(succ(succ(succ(succ(succ(succ(succ(zero))))))))} {Test {Mult succ(succ(zero)) succ(succ(zero))} '==' succ(succ(succ(succ(zero))))} {Test {Mult succ(zero) succ(succ(zero))} '==' succ(succ(zero))} {Test {Mult zero succ(succ(zero))} '==' zero} {Test {Mult succ(succ(succ(zero))) succ(succ(zero))} '==' succ(succ(succ(succ(succ(succ(zero))))))} {Test {Mult succ(succ(succ(zero))) succ(succ(succ(zero)))} '==' succ(succ(succ(succ(succ(succ(succ(succ(succ(zero)))))))))}