diff options
Diffstat (limited to 'tests/fuzz-tests.sh')
-rwxr-xr-x | tests/fuzz-tests.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/fuzz-tests.sh b/tests/fuzz-tests.sh index 9b88aa10..f72385e5 100755 --- a/tests/fuzz-tests.sh +++ b/tests/fuzz-tests.sh @@ -33,6 +33,9 @@ do echo " [TEST/fuzz] $name" ./test.sh if [ $? -ne 0 ]; then + if [[ $TEST_LOG =~ dump ]]; then + cat "$RESULTS" + fi _fail "test failed for case $(basename $i)" fi fi |