% $Id: MaxNELTest.oz,v 1.1 2008/03/04 03:29:36 leavens Exp leavens $ \insert 'TestingNoStop.oz' \insert 'MaxNEL.oz' {StartTesting 'MaxNEL'} {Test {MaxNEL sing(3)} '==' 3} {Test {MaxNEL cons(5 sing(3))} '==' 5} {Test {MaxNEL cons(3 cons(5 sing(3)))} '==' 5}