aboutsummaryrefslogtreecommitdiffstats
path: root/test.sh
diff options
context:
space:
mode:
Diffstat (limited to 'test.sh')
-rwxr-xr-xtest.sh14
1 files changed, 7 insertions, 7 deletions
diff --git a/test.sh b/test.sh
index d7e4043..bc54159 100755
--- a/test.sh
+++ b/test.sh
@@ -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'