% $Id: VideoTimesTest.oz,v 1.1 2007/11/26 21:00:34 leavens Exp leavens $ \insert 'VideoTimes.oz' \insert 'SolveFirst.oz' \insert 'TestingNoStop.oz' {StartTesting 'VideoTimes'} {Test {SolveFirst fun {$} {VideoTimes 2*Hours} end} '==' time(ep:0 sp:120)} {Test {SolveFirst fun {$} {VideoTimes 3*Hours} end} '==' time(ep:90 sp:90)} {Test {SolveFirst fun {$} {VideoTimes 4*Hours} end} '==' time(ep:180 sp:60)} {Test {SolveFirst fun {$} {VideoTimes 4*Hours+30} end} '==' time(ep:225 sp:45)} {Test {SolveFirst fun {$} {VideoTimes 5*Hours+30} end} '==' time(ep:315 sp:15)} {Test {SolveFirst fun {$} {VideoTimes 6*Hours} end} '==' time(ep:360 sp:0)}