diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/simple_abc9/.gitignore | 1 | ||||
| -rwxr-xr-x | tests/simple_abc9/run-test.sh | 18 |
2 files changed, 19 insertions, 0 deletions
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='?' |