diff options
| -rw-r--r-- | test/array.c | 6 | ||||
| -rwxr-xr-x | test/test_all.sh | 8 |
2 files changed, 9 insertions, 5 deletions
diff --git a/test/array.c b/test/array.c index 5c80694..0f23cc8 100644 --- a/test/array.c +++ b/test/array.c @@ -1,7 +1,7 @@ int main() { int x[3] = {1, 2, 3}; - int sum = 0, incr = 1; - for (int i = 0; i < 3; i=i+incr) - sum = sum + i; + int sum = 0; + for (int i = 0; i < 3; i++) + sum = x[i]; return sum; } 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 |