8
.
/cs/www/classes/cs372/spring14/a8/tests
/cs/www/classes/cs372/spring14/a8/master

problem noconsec noconsec.pl
build /cs/www/classes/cs372/spring14/a8/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 /cs/www/classes/cs372/spring14/a8/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 'rotate([a,b,c],[c,a,b]).' | ./a.out
case echo 'rotate([a,b,c],[c,b,a]).' | ./a.out

problem outin outin.pl
build /cs/www/classes/cs372/spring14/a8/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 /cs/www/classes/cs372/spring14/a8/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 /cs/www/classes/cs372/spring14/a8/checkpl fsort.pl
build true
test fsort
template echo "[fsort,'/cs/www/classes/cs372/spring14/a8/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 /cs/www/classes/cs372/spring14/a8/checkpl pipes.pl
test pipes
template <TEST> 2>&1 | grep -v ' compiled '
case env -i HOME=$HOME swipl < /cs/www/classes/cs372/spring14/a8/pipes.1
case env -i HOME=$HOME swipl < /cs/www/classes/cs372/spring14/a8/pipes.2
case env -i HOME=$HOME swipl < /cs/www/classes/cs372/spring14/a8/pipes.3
#
problem connect connect.pl
build /cs/www/classes/cs372/spring14/a8/checkpl connect.pl
test connect
template echo "[connect,'/cs/www/classes/cs372/spring14/a8/conntest2']. test_connection(<TEST>)." | env -i HOME=$HOME swipl 2>&1 | grep -v ' compiled ' | /cs/www/classes/cs372/spring14/a8/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 /cs/www/classes/cs372/spring14/a8/checkpl buy.pl
test buy
template echo "['/cs/www/classes/cs372/spring14/a8/buyfacts',buy]. <TEST>." | env -i HOME=$HOME swipl 2>&1 | grep -v ' compiled ' | /cs/www/classes/cs372/spring14/a8/massage_buy.rb
case buy([hamster,twinkies,hamster,toaster])
case buy([lips,lips,lips,dip])
case buy([scissors,dip,rshoes])
#
problem range range.pl
build /cs/www/classes/cs372/spring14/a8/checkpl range.pl
test range
template echo "<TEST>." | env -i HOME=$HOME swipl -l range.pl 2>&1 | grep -v ' compiled '
case range('1..10')
case range('-100..10')
case range('100...10')
case range('3245...991232')
case range('-10...-10')
case range('10..x')
case range('1..10..')
case range('1-00..3')
#
problem listsum listsum.pl
build /cs/www/classes/cs372/spring14/a8/checkpl listsum.pl
test listsum
template echo "<TEST>." | env -i HOME=$HOME swipl -l listsum.pl 2>&1 | grep -v ' compiled '
case listsum('[1,2,[3]]', Sum)
case listsum('[1,20,[30,[[40]],6,7],[]]', Sum)
case listsum('[1,,[30,[[40]],6,7],[]]', Sum)
case listsum('[]', Sum)