Add missing benchmarketo SMTCVC4TypeCheckerSuite's ignored benchmarks

epfl-lara · Jan 16, 2020 · 59d96c3 · 59d96c3
1 parent 6b6b915
commit 59d96c3
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/frontends/scalac/src/it/scala/stainless/verification/TypeCheckerSuite.scala b/frontends/scalac/src/it/scala/stainless/verification/TypeCheckerSuite.scala
@@ -86,6 +86,7 @@ class SMTCVC4TypeCheckerSuite extends TypeCheckerSuite {
 
   override def filter(ctx: inox.Context, name: String): FilterStatus = name match {
     // Same ignores as SMTCVC4VerificationSuite
+    case "verification/valid/ArraySlice" => Ignore
     case "verification/valid/BigIntMonoidLaws" => Ignore
     case "verification/valid/ConcRope" => Ignore
     case "verification/valid/CovariantList" => Ignore
@@ -99,6 +100,7 @@ class SMTCVC4TypeCheckerSuite extends TypeCheckerSuite {
     case "verification/valid/ReachabilityChecker" => Ignore
     case "verification/valid/TestPartialFunction" => Ignore
     case "verification/valid/TestPartialFunction3" => Ignore
+
     case _ => super.filter(ctx, name)
   }
 }