Update ignored benchmarks

epfl-lara · Jan 24, 2020 · fb1e616 · fb1e616
1 parent 8f7868a
commit fb1e616
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/frontends/scalac/src/it/scala/stainless/termination/TerminationSuite.scala b/frontends/scalac/src/it/scala/stainless/termination/TerminationSuite.scala
@@ -30,6 +30,7 @@ class TerminationSuite extends ComponentTestSuite {
 
     // Not compatible with System FR type-checker
     case "termination/valid/Streams" => Skip
+    case "verification/valid/CovariantList" => Skip
 
     // Already correctly rejected by the type-checker
     case "termination/looping/Inconsistency5"           => Skip // ADT Object must appear only in strictly positive positions of Machine

diff --git a/frontends/scalac/src/it/scala/stainless/verification/TypeCheckerSuite.scala b/frontends/scalac/src/it/scala/stainless/verification/TypeCheckerSuite.scala
@@ -36,10 +36,10 @@ trait TypeCheckerSuite extends ComponentTestSuite {
     case "verification/valid/Countable2" => Ignore
 
     // Fails due to bug in typechecker
-    case "verification/invalid/Equations1" => Ignore
-    case "verification/invalid/Equations2" => Ignore
-    case "verification/invalid/Equations3" => Ignore
-    case "verification/invalid/BadConcope" => Ignore
+    case "verification/invalid/Equations1"  => Ignore
+    case "verification/invalid/Equations2"  => Ignore
+    case "verification/invalid/Equations3"  => Ignore
+    case "verification/invalid/BadConcRope" => Ignore
 
     case _ => super.filter(ctx, name)
   }