Change indentatation back.

goblint · Nov 13, 2023 · 21d405d · 21d405d
1 parent 46b0f67
commit 21d405d
Showing 1 changed file with 21 additions and 21 deletions.
diff --git a/scripts/update_suite.rb b/scripts/update_suite.rb
@@ -150,27 +150,27 @@ def collect_warnings
       obj,i = $1,$2.to_i
 
       ranking = ["other", "warn", "goto", "fundec", "loop", "term", "nonterm", "race", "norace", "deadlock", "nodeadlock", "success", "fail", "unknown"]
-      thiswarn = case obj
-                  when /\(conf\. \d+\)/            then "race"
-                  when /Deadlock/                  then "deadlock"
-                  when /lock (before|after):/      then "deadlock"
-                  when /Assertion .* will fail/    then "fail"
-                  when /Assertion .* will succeed/ then "success"
-                  when /Assertion .* is unknown/   then "unknown"
-                  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 /\[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)
-                  else "other"
+      thiswarn =  case obj
+                    when /\(conf\. \d+\)/            then "race"
+                    when /Deadlock/                  then "deadlock"
+                    when /lock (before|after):/      then "deadlock"
+                    when /Assertion .* will fail/    then "fail"
+                    when /Assertion .* will succeed/ then "success"
+                    when /Assertion .* is unknown/   then "unknown"
+                    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 /\[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)
+                    else "other"
                 end
       oldwarn = warnings[i]
       if oldwarn.nil? then