diff options
Diffstat (limited to 'test.sh')
-rwxr-xr-x | test.sh | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -3,7 +3,7 @@ run() { prog=$1 desired=$2 - out=`./build/tuplr $prog` + out=`./build/resp $prog` if [ "$out" != "$desired" ]; then echo "FAIL: $prog"; echo " Expected: \"$desired\""; @@ -13,9 +13,9 @@ run() { fi } -run './test/ack.tpr' '8189 : Int' -run './test/def.tpr' '3 : Int' -run './test/fac.tpr' '720 : Int' -run './test/poly.tpr' '#t : Bool' -run './test/nest.tpr' '6 : Int' -run './test/tup.tpr' '5 : Int' +run './test/ack.resp' '8189 : Int' +run './test/def.resp' '3 : Int' +run './test/fac.resp' '720 : Int' +run './test/poly.resp' '#t : Bool' +run './test/nest.resp' '6 : Int' +run './test/tup.resp' '5 : Int' |