From 59fe376aacfc6c1916c8ee4663c74d5786581ece Mon Sep 17 00:00:00 2001
From: Sankalp Gambhir <sankalp.gambhir42@gmail.com>
Date: Fri, 10 Jan 2025 09:13:28 +0100
Subject: [PATCH] Ignore recently failing princess tests

---
 .../it/scala/stainless/verification/VerificationSuite.scala    | 3 +++
 1 file changed, 3 insertions(+)

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",