diff --git a/frontends/common/src/it/scala/stainless/verification/VerificationSuite.scala b/frontends/common/src/it/scala/stainless/verification/VerificationSuite.scala
index 82f6a32fa..58fd461a0 100644
--- a/frontends/common/src/it/scala/stainless/verification/VerificationSuite.scala
+++ b/frontends/common/src/it/scala/stainless/verification/VerificationSuite.scala
@@ -157,6 +157,7 @@ class VerificationSuite extends VerificationComponentTestSuite {
       "verification/invalid/FiniteSort",
       "verification/invalid/Float8",
       "verification/invalid/ForallAssoc",
+      "verification/invalid/Generics2",
       "verification/invalid/HiddenOverride",
       "verification/invalid/HOInvocations",
       "verification/invalid/i497",
@@ -171,7 +172,9 @@ class VerificationSuite extends VerificationComponentTestSuite {
       "verification/invalid/LawsExampleInvalid",
       "verification/invalid/ListOperations",
       "verification/invalid/Lists",
+      "verification/invalid/MyTuple3",
       "verification/invalid/Nested15",
+      "verification/invalid/Overrides",
       "verification/invalid/PackedFloat8",
       "verification/invalid/PartialSplit",
       "verification/invalid/PositiveMap",