From c402f3649255bd0b1f877501d3241690cf883b43 Mon Sep 17 00:00:00 2001
From: Thomas Sewell <Thomas.Sewell@cl.cam.ac.uk>
Date: Fri, 1 Sep 2023 15:11:12 +0100
Subject: [PATCH] CN: add a --coq option to tests/run-cn.sh

---
 tests/run-cn.sh | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

diff --git a/tests/run-cn.sh b/tests/run-cn.sh
index 23efc6455..54e43eed1 100755
--- a/tests/run-cn.sh
+++ b/tests/run-cn.sh
@@ -23,7 +23,7 @@ FAIL=$(find $DIRNAME/cn -name '*.error.c')
 
 for TEST in $FAIL
 do
-  echo cn --expect-fail $TEST
+  echo cn --expect-failure $TEST
   if ! cn --expect-failure $TEST
   then
     NUM_FAILED=$(( $NUM_FAILED + 1 ))
@@ -35,6 +35,21 @@ UNKNOWN=$(find $DIRNAME/cn -name '*.unknown.c')
 
 echo $UNKNOWN | xargs -n 1 cn
 
+COQ_LEMMAS=$(find $DIRNAME/cn -name 'coq_lemmas' -type d)
+
+for TEST in $COQ_LEMMAS
+do
+  if [ "$1" == "--coq" ]
+  then
+    echo make -C $TEST
+    if ! make -C $TEST
+    then
+      NUM_FAILED=$(( $NUM_FAILED + 1 ))
+      FAILED="$FAILED $TEST"
+    fi
+  fi
+done
+
 echo
 echo 'Done running tests.'
 echo