From 4878a4706e276b8d1aa8a6808e88faeba7789049 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 1 Sep 2017 14:27:34 +0100
Subject: Started work on test suite for ocaml backend

---
 test/typecheck/run_tests.sh | 32 ++++++++++++++++----------------
 1 file changed, 16 insertions(+), 16 deletions(-)

(limited to 'test/typecheck')

diff --git a/test/typecheck/run_tests.sh b/test/typecheck/run_tests.sh
index 8e21eca0..e83cc20b 100755
--- a/test/typecheck/run_tests.sh
+++ b/test/typecheck/run_tests.sh
@@ -135,26 +135,26 @@ test_lem rtpass
 
 finish_suite "Lem generation 2"
 
-function test_ocaml {
-    for i in `ls $DIR/pass/`;
-    do
-	if $SAILDIR/sail -ocaml $DIR/$1/$i 2> /dev/null
-	then
-	    green "generated ocaml for $1/$i" "pass"
+# function test_ocaml {
+#     for i in `ls $DIR/pass/`;
+#     do
+# 	if $SAILDIR/sail -ocaml $DIR/$1/$i 2> /dev/null
+# 	then
+# 	    green "generated ocaml for $1/$i" "pass"
 
-	    rm $SAILDIR/${i%%.*}.ml
-	else
-	    red "generated ocaml for $1/$i" "fail"
-	fi
-    done
-}
+# 	    rm $SAILDIR/${i%%.*}.ml
+# 	else
+# 	    red "generated ocaml for $1/$i" "fail"
+# 	fi
+#     done
+# }
 
-test_ocaml pass
+# test_ocaml pass
 
-finish_suite "Ocaml generation 1"
+# finish_suite "Ocaml generation 1"
 
-test_ocaml rtpass
+# test_ocaml rtpass
 
-finish_suite "Ocaml generation 2"
+# finish_suite "Ocaml generation 2"
 
 printf "</testsuites>\n" >> $DIR/tests.xml
-- 
cgit v1.2.3