From a67cd2d4a284cb945af6d477cc215cef7bdd22a8 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 17 Mar 2014 01:56:00 +0100
Subject: Progress in Verific bindings

---
 tests/tools/autotest.sh | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'tests/tools')

diff --git a/tests/tools/autotest.sh b/tests/tools/autotest.sh
index fafd044d..d459f988 100755
--- a/tests/tools/autotest.sh
+++ b/tests/tools/autotest.sh
@@ -82,7 +82,7 @@ do
 	[[ "$bn" == *_tb ]] && continue
 	echo -n "Test: $bn "
 
-	rm -f ${bn}.{err,log}
+	rm -f ${bn}.{err,log,sikp}
 	mkdir -p ${bn}.out
 	rm -rf ${bn}.out/*
 
@@ -111,6 +111,11 @@ do
 			test_count=$(( test_count + 1 ))
 		}
 
+		if [ "$frontend" = "verific" -o "$frontend" = "verific_gates" ] && grep -q VERIFIC-SKIP $fn; then
+			touch ../${bn}.skip
+			return
+		fi
+
 		if [ -n "$scriptfiles" ]; then
 			test_passes $fn $scriptfiles
 		elif [ -n "$scriptopt" ]; then
@@ -137,6 +142,9 @@ do
 	if [ -f ${bn}.log ]; then
 		mv ${bn}.err ${bn}.log
 		echo "-> ok"
+	elif [ -f ${bn}.skip ]; then
+		mv ${bn}.err ${bn}.skip
+		echo "-> skip"
 	else echo "-> ERROR!"; $keeprunning || exit 1; fi
 done
 
-- 
cgit v1.2.3