% $Id: CAddTest.oz,v 1.2 2008/01/14 22:46:38 leavens Exp leavens $ \insert 'TestingNoStop.oz' \insert 'CAdd.oz' {Test {{CAdd 3} 4} '==' 7} {Test {IsProcedure {CAdd 3}} '==' true} declare Add100 = {CAdd 100} {Test {Add100 22} '==' 122} {Test {Add100 3920} '==' 4020} declare Add4 Add4 = {CAdd 4} {Test {Add4 5} '==' 9} {Test {Add4 7} '==' 11}