diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-08-04 18:37:11 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-08-04 18:37:11 +0100 |
commit | 95ef66d14377cbd88142b5ccb3d598fde6fec243 (patch) | |
tree | 4c9f11a44ccdc16f284e02073baf3b49d50588ef /test/test_all.sh | |
parent | 710979db5857d58de4478c3e8a6d645ebab9d8c1 (diff) | |
download | vericert-95ef66d14377cbd88142b5ccb3d598fde6fec243.tar.gz vericert-95ef66d14377cbd88142b5ccb3d598fde6fec243.zip |
Fix test/test_all.sh
It was incorrectly extracting the result from the iverilog output
Diffstat (limited to 'test/test_all.sh')
-rwxr-xr-x | test/test_all.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/test_all.sh b/test/test_all.sh index 92d3967..58a9dc2 100755 --- a/test/test_all.sh +++ b/test/test_all.sh @@ -36,7 +36,7 @@ for cfile in $test_dir/*.c; do continue fi iverilog -o $outbase.iverilog $outbase.v - actual=$($outbase.iverilog | sed -E -e 's/[^0-9]+([0-9]+)/\1/') + actual=$($outbase.iverilog | sed -nEe 's/finished: ([0-9]+)/\1/p') if [[ $expected = $actual ]]; then echo "OK" else |