From 32c796da78c14ffbde6b597ea9be0003c253601e Mon Sep 17 00:00:00 2001 From: Zhihang Sun Date: Fri, 22 Nov 2024 14:01:58 +0800 Subject: [PATCH] Enable Deagle to output various FALSE types --- benchexec/tools/deagle.py | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/benchexec/tools/deagle.py b/benchexec/tools/deagle.py index 72812118c..6ab953338 100644 --- a/benchexec/tools/deagle.py +++ b/benchexec/tools/deagle.py @@ -60,6 +60,15 @@ def determine_result(self, run): status = result.RESULT_TRUE_PROP elif run.output.any_line_contains("FAILED"): status = result.RESULT_FALSE_REACH + for line in run.output: + if "nodatarace.assertion." in line and "FAILURE" in line: + status = result.RESULT_FALSE_DATARACE + if ("alloc.assertion." in line or "pointer_dereference." in line) and "FAILURE" in line: + status = result.RESULT_FALSE_DEREF + if "memory-leak." in line and "FAILURE" in line: + status = result.RESULT_FALSE_MEMTRACK + if "overflow." in line and "FAILURE" in line: + status = result.RESULT_FALSE_OVERFLOW elif run.exit_code.value == 1: status = result.RESULT_UNKNOWN else: