Merge pull request #31324 from azat/fuzzer-improve-report

Improve fuzzer report in case of fuzzer killed
This commit is contained in:
alesapin 2021-11-12 11:31:07 +03:00 committed by GitHub
commit 7a615a29f4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -256,6 +256,12 @@ continue
task_exit_code=0
echo "success" > status.txt
echo "OK" > description.txt
elif [ "$fuzzer_exit_code" == "137" ]
then
# Killed.
task_exit_code=$fuzzer_exit_code
echo "failure" > status.txt
echo "Killed" > description.txt
else
# The server was alive, but the fuzzer returned some error. This might
# be some client-side error detected by fuzzing, or a problem in the