diff options
author | Alex Beregszaszi <alex@rtfs.hu> | 2017-08-31 07:24:25 +0800 |
---|---|---|
committer | Alex Beregszaszi <alex@rtfs.hu> | 2017-08-31 07:37:32 +0800 |
commit | b7e8d305b330f899ad0d08a4dad7851596545203 (patch) | |
tree | 01d00b38e3267df4c754dfb45ffc82c970549370 | |
parent | 23182c7fdfd675b99ed9ea86b30e3ff1dd9516f2 (diff) | |
download | dexon-solidity-b7e8d305b330f899ad0d08a4dad7851596545203.tar.gz dexon-solidity-b7e8d305b330f899ad0d08a4dad7851596545203.tar.zst dexon-solidity-b7e8d305b330f899ad0d08a4dad7851596545203.zip |
Run fuzzer tests without optimizer too
-rwxr-xr-x | test/cmdlineTests.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/cmdlineTests.sh b/test/cmdlineTests.sh index eb5c714d..f12a6686 100755 --- a/test/cmdlineTests.sh +++ b/test/cmdlineTests.sh @@ -147,6 +147,13 @@ TMPDIR=$(mktemp -d) cat "$f" exit 1 fi + + "$REPO_ROOT"/build/test/solfuzzer --without-optimizer --quiet < "$f" + if [ $? -ne 0 ]; then + echo "Fuzzer (without optimizer) failed on:" + cat "$f" + exit 1 + fi set -e done ) |