Skip to content

Commit

Permalink
Ignore recently failing Princess tests (#1629)
Browse files Browse the repository at this point in the history
Ignores three verification tests `invalid/Generics2`,
`invalid/Overrides`, and `invalid/MyTuple3` that fail on recent Princess
builds.

I'll separately investigate why the tests fail (throwing exceptions in
Princess).
  • Loading branch information
sankalpgambhir authored Jan 10, 2025
1 parent 88e4de5 commit 8060b33
Showing 1 changed file with 3 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand All @@ -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",
Expand Down

0 comments on commit 8060b33

Please sign in to comment.