From 9bf295917c019339bbe409eab35ffc3440a16025 Mon Sep 17 00:00:00 2001 From: J2000A Date: Fri, 4 Aug 2023 09:32:34 +0200 Subject: [PATCH] Ignore extern definitions --- scripts/update_suite.rb | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/scripts/update_suite.rb b/scripts/update_suite.rb index 9ceea3c0dd..1d9257a696 100755 --- a/scripts/update_suite.rb +++ b/scripts/update_suite.rb @@ -311,12 +311,14 @@ def parse_tests (lines) elsif obj =~ /(\b|\/)UNKNOWN/ then tests[i] = "unknown" elsif obj =~ /(\b|\/)(assert|__goblint_check).*\(/ then - if obj =~ /(\b|\/)FAIL/ then - tests[i] = "fail" - elsif obj =~ /(\b|\/)UNKNOWN/ then - tests[i] = "unknown" - else - tests[i] = "assert" + unless obj =~ /^\s*extern\b/ + if obj =~ /(\b|\/)FAIL/ then + tests[i] = "fail" + elsif obj =~ /(\b|\/)UNKNOWN/ then + tests[i] = "unknown" + else + tests[i] = "assert" + end end end end