proc_dff: Fix emitted FF when a register is not assigned in async reset

[yosys.git] / tests / simple_abc9 / run-test.sh

diff --git a/tests/simple_abc9/run-test.sh b/tests/simple_abc9/run-test.sh
index 650e42fcab8f79fe2b9c074b2248196ef213eae5..b48505e29adc8b4bba4f433ccd3ab606bce4652c 100755 (executable)
--- 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='?'