From e690d9ad81291ee34360e72fd2aceb33742c5d2d Mon Sep 17 00:00:00 2001 From: Michael Schwarz Date: Thu, 2 Nov 2023 16:11:18 +0100 Subject: [PATCH] Prioritze termination warnings in `update_suite.rb` --- scripts/update_suite.rb | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/update_suite.rb b/scripts/update_suite.rb index 28d6ddb52d..a7d60b5c21 100755 --- a/scripts/update_suite.rb +++ b/scripts/update_suite.rb @@ -160,13 +160,13 @@ def collect_warnings when /invariant confirmed/ then "success" when /invariant unconfirmed/ then "unknown" when /invariant refuted/ then "fail" + when /(Upjumping Goto)/ then "goto" + when /(Fundec \w+ is contained in a call graph cycle)/ then "fundec" + when /(Loop analysis)/ then "loop" when /^\[Warning\]/ then "warn" when /^\[Error\]/ then "warn" when /^\[Info\]/ then "warn" when /^\[Success\]/ then "success" - when /(Upjumping Goto)/ then "goto" - when /(Fundec \w+ is contained in a call graph cycle)/ then "fundec" - when /(Loop analysis)/ then "loop" when /\[Debug\]/ then next # debug "warnings" shouldn't count as other warnings (against NOWARN) when /^ on line \d+ $/ then next # dead line warnings shouldn't count (used for unreachability with NOWARN) when /^ on lines \d+..\d+ $/ then next # dead line warnings shouldn't count (used for unreachability with NOWARN)