From a9b18e2be154c6e2429b156ae9390ffad89a7c2a Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Fri, 12 Oct 2018 18:14:41 +0100
Subject: Prevent accidental test failures when Coq compiles in the wrong order

---
 test/coq/run_tests.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'test')

diff --git a/test/coq/run_tests.sh b/test/coq/run_tests.sh
index 5a723a06..db73580f 100755
--- a/test/coq/run_tests.sh
+++ b/test/coq/run_tests.sh
@@ -56,7 +56,8 @@ function check_tests_dir {
     do
         if $SAILDIR/sail -coq -dcoq_undef_axioms -o out $TESTSDIR/$i &>/dev/null;
         then
-    	if coqc -R "$BBVDIR" bbv -R "$SAILDIR/lib/coq" Sail out_types.v out.v &>/dev/null;
+    	if coqc -R "$BBVDIR" bbv -R "$SAILDIR/lib/coq" Sail out_types.v &>/dev/null &&
+    	   coqc -R "$BBVDIR" bbv -R "$SAILDIR/lib/coq" Sail out.v &>/dev/null;
     	then
     	    green "tested $i expecting pass" "pass"
     	else
-- 
cgit v1.2.3