diff options
Diffstat (limited to 'tests/fuzz/test.sh')
| -rw-r--r-- | tests/fuzz/test.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/tests/fuzz/test.sh b/tests/fuzz/test.sh new file mode 100644 index 00000000..60815c9f --- /dev/null +++ b/tests/fuzz/test.sh @@ -0,0 +1,20 @@ +# e.g. +# ~/Dev/emscripten/tests/fuzz$ CSMITH=~/Dev/csmith/src/csmith CSMITH_PATH=~/Dev/csmith python ./csmith_driver.py +# to find failures, then check those out with this script + +echo "0" +gcc $1 -I/home/alon/Dev/csmith/runtime +~/Dev/emscripten/emcc $1 -I/home/alon/Dev/csmith/runtime +./a.out +mozjs a.out.js +echo "1" +gcc -O1 $1 -I/home/alon/Dev/csmith/runtime +~/Dev/emscripten/emcc -O1 $1 -I/home/alon/Dev/csmith/runtime +./a.out +mozjs a.out.js +echo "2" +gcc -O2 $1 -I/home/alon/Dev/csmith/runtime +~/Dev/emscripten/emcc -O2 $1 -I/home/alon/Dev/csmith/runtime +./a.out +mozjs a.out.js + |