diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/array.c | 6 | ||||
| -rw-r--r-- | test/loop.c | 3 | ||||
| -rwxr-xr-x | test/test_all.sh | 8 |
3 files changed, 10 insertions, 7 deletions
diff --git a/test/array.c b/test/array.c index 7d78a61..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 += x[i]; + int sum = 0; + for (int i = 0; i < 3; i++) + sum = x[i]; return sum; } diff --git a/test/loop.c b/test/loop.c index 52e4fe9..bece7f2 100644 --- a/test/loop.c +++ b/test/loop.c @@ -1,10 +1,9 @@ int main() { int max = 5; int acc = 0; - int b = 1; int c = 2; - for (int i = 0; i < max; i = i + b) { + for (int i = 0; i < max; i++) { acc += i; } 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 |