% $Id: SimpleGenTestTest.oz,v 1.2 2008/12/05 04:40:58 leavens Exp leavens $ \insert 'SimpleGenTest.oz' \insert 'SolveAll.oz' \insert 'TestingNoStop.oz' {StartTesting 'SimpleGenTest'} {Test {List.take {Solve proc {$ Z} {GenFromTo 1 5 Z} end} 5} '==' [1 2 3 4 5]} {Test {SolveAll AtLeast50} '==' [50 51 52 53 54 55 56 57 58 59 60]}