% $Id: SimpleGenTestTest.oz,v 1.1 2007/11/26 20:58:59 leavens Exp leavens $ \insert 'SimpleGenTest.oz' \insert 'SolveAll.oz' \insert 'TestingNoStop.oz' {StartTesting 'SimpleGenTest'} {Test {SolveAll AtLeast50} '==' [50 51 52 53 54 55 56 57 58 59 60]}