From b6904a8e5344fcd01c1a0feea281cd7d7bf0f210 Mon Sep 17 00:00:00 2001
From: Zachary Snow <zach@zachjs.com>
Date: Tue, 9 Feb 2021 19:58:15 -0500
Subject: [PATCH] Set aside extraneous tests in simple_abc9 test suite

New test cases on one branch may be automatically copied from simple/ to
simple_abc9/, causing failures when switching to another branch. This
updates the simple_abc9 script to set aside extraneous tests in a
non-destructive way.
---
 tests/simple_abc9/.gitignore  |  1 +
 tests/simple_abc9/run-test.sh | 18 ++++++++++++++++++
 2 files changed, 19 insertions(+)

diff --git a/tests/simple_abc9/.gitignore b/tests/simple_abc9/.gitignore
index 2355aea29..fda60e577 100644
--- a/tests/simple_abc9/.gitignore
+++ b/tests/simple_abc9/.gitignore
@@ -2,3 +2,4 @@
 *.sv
 *.log
 *.out
+*.bak
diff --git a/tests/simple_abc9/run-test.sh b/tests/simple_abc9/run-test.sh
index 650e42fca..b48505e29 100755
--- a/tests/simple_abc9/run-test.sh
+++ b/tests/simple_abc9/run-test.sh
@@ -17,6 +17,24 @@ if ! command -v iverilog > /dev/null ; then
   exit 1
 fi
 
+for file in `ls *.v *.sv`; do
+    if [ ! -f "../simple/$file" -a "$file" != "abc9.v" ]; then
+	echo "Warning: $file is in simple_abc9/, but not in simple/"
+	backup="$file.bak"
+	if [ -f "$backup" ]; then
+	    if cmp "$file" "$backup" > /dev/null; then
+		echo " => $backup already exists and matches; removing $file"
+		rm "$file"
+	    else
+		echo " => $backup already exists but differs; leaving $file in place"
+	    fi
+	else
+	    echo " => moving $file to $backup"
+	    mv -i "$file" "$backup"
+	fi
+    fi
+done
+
 cp ../simple/*.v .
 cp ../simple/*.sv .
 DOLLAR='?'
-- 
2.30.2