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

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

problem queries queries.pl
build a7/checkpl queries.pl
test queries

template echo "findall(X,<TEST>,L),sort(L,Result),writeln('Results:'),member(X,Result),writeln(X),fail." | ./a.out
# 2>&1 | sed -n '/^Results:/,$p'
#sed 's/L = .*\],//'

case q0(X)
case q1(X)
case q2(X)
case q3(X)
case q4(X)
case q5(X)
case q6(X)
case q7(X)
case q8(X)
case q9(X)
case q10(X)


problem rect rect.pl
build a7/checkpl rect.pl
test rect

template echo '<TEST>' | ./a.out
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 classify(rect(3,4),T).
case classify(rect(10,1),T).
case classify(rect(3,3),T).
case classify(rect(3),T).
case classify(10,T).
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 a7/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 a7/checkpl grid.pl
test grid

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

case grid(five, three).
case grid(three, one).
case grid(eight, nine).
case grid(twelve, fifteen).
case grid(eighty-eight, thirty-one).
case grid(two-eighty, one-twelve).
case grid([], []).
case grid(1, seven).
case grid(1, 11).
case grid(one, 11).

problem rsg rsg.pl
build a7/checkpl rsg.pl
test rsg

template echo '<TEST>' | ./a.out 2>&1 | wc -l
# sed -n '/^For help, use ?- help/,$p' 

case rsg(1).
case rsg(10).
case rsg(100).