From 2da4c25caf536e08a28778379906428afb575f75 Mon Sep 17 00:00:00 2001 From: Valentin Wuestholz Date: Wed, 2 Aug 2023 14:38:40 +0200 Subject: [PATCH] Update runner for latest Harvey version. --- run-campaigns.py | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/run-campaigns.py b/run-campaigns.py index ecc51df..7b6b461 100644 --- a/run-campaigns.py +++ b/run-campaigns.py @@ -233,12 +233,19 @@ def process_all_tasks(tasks): issues = fuzzer_result["issues"] violations = dict({}) for issue in issues: - msg = issue["description"]["tail"] + tail = issue["description"]["tail"] m = re.match( - "A user-provided assertion failed with the message '(.*)'.", msg + "A user-provided assertion failed with the message '(.*)'.", + tail, ) - t = issue["extra"]["discoveryTime"] - violations[m[1]] = t + if m: + msg = m[1] + t = issue["extra"]["discoveryTime"] + if msg in violations: + ct = violations[msg] + if ct < t: + t = ct + violations[msg] = t elif fuzzer_name == "echidna": duration = time.time_ns() - task["start-time"] violations = dict({})