9
.
/cs/www/classes/cs372/spring15/a9/tests
/cs/www/classes/cs372/spring15/a9/master

problem noconsec noconsec.pl
build a9/checkpl noconsec.pl
test noconsec
case echo 'Case= [3,1,5,4,3,4], findall(yes, noconsec(Case), Results).' | ./a.out
case echo 'Case= [3,1,5,4,4,3], findall(yes, noconsec(Case), Results).' | ./a.out
case echo 'Case= [3,3,3], findall(yes, noconsec(Case), Results).' | ./a.out
case echo 'Case= [3,1,3], findall(yes, noconsec(Case), Results).' | ./a.out
case echo 'Case= [9,9], findall(yes, noconsec(Case), Results).' | ./a.out
case echo 'Case= [5], findall(yes, noconsec(Case), Results).' | ./a.out
case echo 'Case= [], findall(yes, noconsec(Case), Results).' | ./a.out
case echo 'findall(noon-yes, (atom_chars('noon',L), noconsec(L)), Results).' | ./a.out
case echo 'findall(nope-yes, (atom_chars('nope',L), noconsec(L)), Results).' | ./a.out

#
problem rotate rotate.pl
build a9/checkpl rotate.pl
test rotate
case echo 'findall(R, rotate([a,b,c,d],R), Rotations).' | ./a.out
case echo 'findall(R, rotate([1,2,3],R), Rotations).' | ./a.out
case echo 'findall(R, rotate([1],R), Rotations).' | ./a.out
case echo 'findall(R, rotate([],R), Rotations).' | ./a.out
case echo 'numlist(1,50,L),rotate(L,R),writeln(R),fail.' | ./a.out
case echo 'findall(R, rotate([a,b,c],[c,a,b]), Results).' | ./a.out
case echo 'findall(R, rotate([a,b,c],[c,b,a]), Results).' | ./a.out

problem outin outin.pl
build a9/checkpl outin.pl
test outin
template echo "Case=<TEST>, findall(R, outin(Case,R), Results), write(Results)." | ./a.out
case [1,2,3,4,5]
case [1,2,3,4]
case [1,2]
case [1]
case []
case [1,20,2,19,3,18,4,17,5,16,6,15,7,14,8,13,9,12,10,11]
case [1,20,2,19,3,18,4,17,5,16,*,6,15,7,14,8,13,9,12,10,11]

problem btw btw.pl
build a9/checkpl btw.pl
test btw
template echo "Case=<TEST>, findall(R, call(Case), Results), member(R,Results), writeln(R), fail." | ./a.out
case btw([1,2,3,4,5],---,R)
case btw([1,2],***,R)
case btw([1],***,R)
case btw([],x,R)
case (numlist(1,20,L),btw(L,===,R))


problem fsort fsort.pl
#build a9/checkpl fsort.pl
build true
test fsort
template ulimit -t 3; echo "[fsort,'a9/fsorttest']. check_flips(<TEST>)." | env -i HOME=$HOME swipl 2>&1 | grep -v ' compiled ' | grep -v '^Flips:'
case [3,1,5]
case [5,4,3,2,1]
case [3,4,5,1,2]
case [5,1,3,1,4,2]
case [50,1,1,2,30,11,43,12]
case [4,50,1,21,2,30,11,43,12,12,231,3423,1212,12]
case [10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
case [300, 4, 50, 6, 700, 80, 90, 100, 1000, 90, 80, 70, 600, 50, 40, 3, 20, 1, 100, 2]
case [1,2,3,4]
case [5]
#
problem pipes pipes.pl
build a9/checkpl pipes.pl
test pipes
template <TEST> 2>&1 | grep -v ' compiled '
case env -i HOME=$HOME swipl < a9/pipes.1
case env -i HOME=$HOME swipl < a9/pipes.2
case env -i HOME=$HOME swipl < a9/pipes.3
#
problem connect connect.pl
build a9/checkpl connect.pl
test connect
template echo "[connect,'a9/conntest2']. test_connection(<TEST>)." | env -i HOME=$HOME swipl 2>&1 | grep -v ' compiled ' | a9/pc.rb
case connect([ [m,10,f], [f,7,m] ], m, 15, f)
case connect([[m,10,f], [f,7,m] ], m, 25, f)
case connect([[m,10,f], [f,7,m] ], m, 15, m)
case connect([[m,1,m],[f,1,f],[m,10,m],[f,5,f],[m,3,f]], m, 20, f)
case connect([[m,1,m],[f,1,f],[m,10,m],[f,5,f],[m,3,f]], m, 20, m)
case connect([[m,1,m],[f,1,f],[m,10,m],[f,5,f],[m,3,f]], m, 10, f)
case connect([[m,10,f]], m, 1, f)
#
problem buy buy.pl
build a9/checkpl buy.pl
test buy
template echo "['a9/buyfacts',buy]. <TEST>." | env -i HOME=$HOME swipl 2>&1 | grep -v ' compiled ' | a9/massage_buy.rb
case buy([hamster,twinkies,hamster,toaster])
case buy([lips,lips,lips,dip])
case buy([scissors,dip,rshoes])
case buy([antfarm,dip,hamster,twinkies,tiger])
case buy([catnip,antfarm,dip,hamster,twinkies,tiger])
#
problem puzzle puzzle.pl
build true
test puzzle
case echo "[puzzle]. mishaps." | env -i HOME=$HOME swipl 2>&1 | grep -v ' compiled '