From 772b6b69a9e05bb761e1c16c47e0995e99b24e53 Mon Sep 17 00:00:00 2001 From: Alexey Milovidov Date: Sat, 7 Jan 2023 00:40:01 +0100 Subject: [PATCH] Fix strange trash in Fuzzer --- docker/test/fuzzer/run-fuzzer.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docker/test/fuzzer/run-fuzzer.sh b/docker/test/fuzzer/run-fuzzer.sh index 164f2e28d76..11ea519a66d 100755 --- a/docker/test/fuzzer/run-fuzzer.sh +++ b/docker/test/fuzzer/run-fuzzer.sh @@ -262,12 +262,12 @@ quit if [ "$server_died" == 1 ] then # The server has died. - if ! grep --text -ao "Received signal.*\|Logical error.*\|Assertion.*failed\|Failed assertion.*\|.*runtime error: .*\|.*is located.*\|SUMMARY: AddressSanitizer:.*\|SUMMARY: MemorySanitizer:.*\|SUMMARY: ThreadSanitizer:.*\|.*_LIBCPP_ASSERT.*" server.log > description.txt + if ! grep -E --text -o 'Received signal.*|Logical error.*|Assertion.*failed|Failed assertion.*|.*runtime error: .*|.*is located.*|(SUMMARY|ERROR): [a-zA-Z]+Sanitizer:.*|.*_LIBCPP_ASSERT.*' server.log > description.txt then echo "Lost connection to server. See the logs." > description.txt fi - if grep -E --text 'Sanitizer: (out-of-memory|failed to allocate)' description.txt + if grep -E --text 'Sanitizer: (out-of-memory|out of memory|failed to allocate)' description.txt then # OOM of sanitizer is not a problem we can handle - treat it as success, but preserve the description. task_exit_code=0