% $Id: SimpleGenTest.oz,v 1.3 2008/12/05 04:44:00 leavens Exp leavens $ declare proc {GenFromTo I N ?R} (I =< N) = true % i.e., fail if I > N choice R=I [] {GenFromTo I+1 N R} end end proc {AtLeast50 ?Sol} {GenFromTo 0 60 Sol} % Generate (Sol >= 50) = true % Test end