Remove redundant code for setting todo variable

goblint · Nov 10, 2023 · 5810c48 · 5810c48
1 parent 704a8f1
commit 5810c48
Showing 1 changed file with 3 additions and 9 deletions.
diff --git a/scripts/update_suite.rb b/scripts/update_suite.rb
@@ -331,20 +331,14 @@ def parse_tests (lines)
       end
     end
     case lines[0]
-    when /TODO/
-      case lines[0]
-      when /NONTERM/
-        tests[-1] = "nonterm"
-        todo << -1
-      when /TERM/
-        tests[-1] = "term"
-        todo << -1
-      end
     when /NONTERM/
       tests[-1] = "nonterm"
     when /TERM/
       tests[-1] = "term"
     end
+    if lines[0] =~ /TODO/ then
+      todo << -1
+    end
     Tests.new(self, tests, tests_line, todo)
   end