/* unit tests for HW 5, Prolog Warmup, CSE 341, Winter 2015 */


/* read in a file prolog_warmup.pl (so you should call your homework this!) */
:- consult(prolog_warmup).

:- begin_tests(hw5).
test(repeat,  [nondet]) :- repeat(squid,[]).
test(repeat, [nondet]) :- repeat(squid,[squid,squid,squid,squid]).
test(repeat, [fail]) :- repeat(squid,[squid,squid,squid,clam]).

:- end_tests(hw5).

:- run_tests.