Ignore extern definitions

J2000A · Aug 4, 2023 · 9bf2959 · 9bf2959
1 parent 840d587
commit 9bf2959
Showing 1 changed file with 8 additions and 6 deletions.
diff --git 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