7
.
/cs/www/classes/cs372/spring14/a6/tests
/cs/www/classes/cs372/spring14/a6/master
#
problem sequence sequence.pl
build /cs/www/classes/cs372/spring14/a6/checkpl sequence.pl
test sequence

case echo 'sequence.' | ./a.out

problem rect rect.pl
build /cs/www/classes/cs372/spring14/a6/checkpl rect.pl
test rect

template echo '<TEST>' | ./a.out

#case square(rect(0,0)).
case square(rect(3,4)).
case square(rect(5,5)).
case landscape(rect(16,9)).
case landscape(rect(3,4)).
case portrait(rect(3,4)).
case portrait(rect(10,1)).
case landscape(rect(3,3)).
case portrait(rect(3,3)).
case rotate(rect(3,4),R).
case rotate(R,rect(3,4)).
case rotate(rect(5,7),rect(7,5)).
case rotate(rect(3,3),R).
case rotate(rect(3,4),rect(W,H)).
case rotate(rect(3,X),rect(Y,4)).
case smaller(rect(3,5), rect(5,7)).
case smaller(rect(3,5), rect(7,5)).
case add(rect(3,4),rect(5,6),R).
case add(rect(3,4),rect(5,6),rect(W,H)).
case add(rect(3,4),rect(5,6),rect(10,10)).
case X = 10, add(rect(3,4),rect(5,6),rect(X,X)).


problem bases bases.pl
build /cs/www/classes/cs372/spring14/a6/checkpl bases.pl
test bases

template echo '<TEST>' | ./a.out

case bases(0, 1).
case bases(0, 5).
case bases(16, 17).
case bases(1022, 1027).

problem grid grid.pl
build /cs/www/classes/cs372/spring14/a6/checkpl grid.pl
test grid

template echo '<TEST>' | ./a.out 2>&1 | sed '/^true/,$d'

case grid(five, three).
case grid(three, one).
case grid(eight, nine).
case grid(1, seven).
case grid(1, 11).
case grid(one, 11).