% $Id: AllTest.oz,v 1.1 2008/10/15 01:27:11 leavens Exp leavens $ \insert 'TestingNoStop.oz' \insert 'All.oz' {StartTesting 'All'} {Test {All nil fun {$ X} X < 2 end} '==' true} {Test {All [1 2 3] fun {$ X} X < 2 end} '==' false} {Test {All [1 2 3] fun {$ X} X < 4 end} '==' true} {Test {All [5 1 2 3] fun {$ X} X < 4 end} '==' false} {Test {All [0 1 2 3 4 3 2 1] fun {$ X} {Not X == 2 orelse X == 3} end} '==' false} {Test {All [0 1 4 1 5 7] fun {$ X} {Not X == 2 orelse X == 3} end} '==' true}