% $Id: VideoTimesTest.oz,v 1.2 2008/12/05 05:10:36 leavens Exp leavens $ \insert 'VideoTimes.oz' \insert 'SolveFirst.oz' \insert 'SolveAll.oz' \insert 'TestingNoStop.oz' {StartTesting 'VideoTimes'} {Test {SolveFirst proc {$ ?Z} {VideoTimes 2*Hours Z} end} '==' time(ep:0 sp:120)} {Test {SolveFirst proc {$ ?Z} {VideoTimes 3*Hours Z} end} '==' time(ep:90 sp:90)} {Test {SolveFirst proc {$ ?Z} {VideoTimes 4*Hours Z} end} '==' time(ep:180 sp:60)} {Test {SolveFirst proc {$ ?Z} {VideoTimes 4*Hours+30 Z} end} '==' time(ep:225 sp:45)} {Test {SolveFirst proc {$ ?Z} {VideoTimes 5*Hours+30 Z} end} '==' time(ep:315 sp:15)} {Test {SolveFirst proc {$ ?Z} {VideoTimes 6*Hours Z} end} '==' time(ep:360 sp:0)} {StartTesting 'VideoTimes precondition checking'} {Test {SolveAll proc {$ ?Z} {VideoTimes 1*Hours Z} end} '==' nil} {Test {SolveAll proc {$ ?Z} {VideoTimes 7*Hours Z} end} '==' nil}