From 2dfc638ac88f869a3bf318914cd2060ea363d89a Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 1 Aug 2017 18:15:21 +0100
Subject: Added ocaml generation to run_tests.sh

---
 test/typecheck/run_tests.sh | 29 ++++++++++++++++++++++++++---
 1 file changed, 26 insertions(+), 3 deletions(-)

diff --git a/test/typecheck/run_tests.sh b/test/typecheck/run_tests.sh
index c4faad7e..8659e60e 100755
--- a/test/typecheck/run_tests.sh
+++ b/test/typecheck/run_tests.sh
@@ -101,17 +101,20 @@ function test_lem {
     do
 	if $SAILDIR/sail -lem $DIR/$1/$i 2> /dev/null
 	then
+	    green "generated lem for $1/$i" "pass"
+
 	    mv $SAILDIR/${i%%.*}_embed_types.lem $DIR/lem/
 	    mv $SAILDIR/${i%%.*}_embed.lem $DIR/lem/
 	    mv $SAILDIR/${i%%.*}_embed_sequential.lem $DIR/lem/
 	    if lem -lib $SAILDIR/src/lem_interp -lib $SAILDIR/src/gen_lib/ $DIR/lem/${i%%.*}_embed_types.lem $DIR/lem/${i%%.*}_embed.lem 2> /dev/null
 	    then
-		green "generated lem for $1/$i" "pass"
+		green "typechecking lem for $1/$i" "pass"
 	    else
-		red "generated lem for $1/$i" "failed to typecheck lem"
+		red "typechecking lem for $1/$i" "fail"
 	    fi
 	else
-	    red "generated lem for $1/$i" "failed to generate lem"
+	    red "generated lem for $1/$i" "fail"
+	    red "typechecking lem for $1/$i" "fail"
 	fi
     done
 }
@@ -124,4 +127,24 @@ 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"
+	else
+	    red "generated ocaml for $1/$i" "fail"
+	fi
+    done
+}
+
+test_ocaml pass
+
+finish_suite "Ocaml generation 1"
+
+test_ocaml rtpass
+
+finish_suite "Ocaml generation 2"
+
 printf "</testsuites>\n" >> $DIR/tests.xml
-- 
cgit v1.2.3