diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-10-23 13:24:42 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-10-23 13:24:42 +0100 |
commit | 65d1b8ad3f5991561a7b9a633459d2b6950b4c8a (patch) | |
tree | 14e14c022ed4490078f4b41a3a2b34a95c8414a4 /test/test_all.sh | |
parent | 91e9202e6317ab3edd22562d659255d63a3fe65d (diff) | |
download | vericert-kvx-65d1b8ad3f5991561a7b9a633459d2b6950b4c8a.tar.gz vericert-kvx-65d1b8ad3f5991561a7b9a633459d2b6950b4c8a.zip |
Improve test script
Diffstat (limited to 'test/test_all.sh')
-rwxr-xr-x | test/test_all.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/test/test_all.sh b/test/test_all.sh index d43e2ac..92d3967 100755 --- a/test/test_all.sh +++ b/test/test_all.sh @@ -27,10 +27,14 @@ echo "--------------------------------------------------" for cfile in $test_dir/*.c; do echo "Testing $cfile" outbase=$mytmpdir/$(basename $cfile) - gcc -o $outbase.gcc $cfile + gcc -o $outbase.gcc $cfile >/dev/null 2>&1 $outbase.gcc expected=$? - ./bin/vericert -drtl -o $outbase.v $cfile + ./bin/vericert -drtl -o $outbase.v $cfile >/dev/null 2>&1 + if [[ ! -f $outbase.v ]]; then + echo "ERROR" + continue + fi iverilog -o $outbase.iverilog $outbase.v actual=$($outbase.iverilog | sed -E -e 's/[^0-9]+([0-9]+)/\1/') if [[ $expected = $actual ]]; then |