diff options
Diffstat (limited to 'tests/fuzz/test.sh')
| -rwxr-xr-x | tests/fuzz/test.sh | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/tests/fuzz/test.sh b/tests/fuzz/test.sh index 768e7ed7..cc77dba4 100755 --- a/tests/fuzz/test.sh +++ b/tests/fuzz/test.sh @@ -5,16 +5,19 @@ echo "0" gcc $1 -I/home/alon/Dev/csmith/runtime &> /dev/null ~/Dev/emscripten/emcc $1 -I/home/alon/Dev/csmith/runtime &> /dev/null -./a.out -mozjs a.out.js +./a.out > o +mozjs a.out.js > b +diff o b echo "1" gcc -O1 $1 -I/home/alon/Dev/csmith/runtime &> /dev/null ~/Dev/emscripten/emcc -O1 $1 -I/home/alon/Dev/csmith/runtime &> /dev/null -./a.out -mozjs a.out.js +./a.out > o +mozjs a.out.js > b +diff o b echo "2" gcc -O2 $1 -I/home/alon/Dev/csmith/runtime &> /dev/null ~/Dev/emscripten/emcc -O2 $1 -I/home/alon/Dev/csmith/runtime &> /dev/null -./a.out -mozjs a.out.js +./a.out > o +mozjs a.out.js > b +diff o b |