disable evenPhase

utwente-fmt · Aug 14, 2024 · a6105f9 · a6105f9
1 parent 2cd790d
commit a6105f9
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/...lications/2020/permutations/evenPhase.pvl → ...archive/known-problems/1230/evenPhase.pvl b/...lications/2020/permutations/evenPhase.pvl → ...archive/known-problems/1230/evenPhase.pvl
diff --git a/test/main/vct/test/integration/examples/PermutationSpec.scala b/test/main/vct/test/integration/examples/PermutationSpec.scala
@@ -4,7 +4,7 @@ import vct.test.integration.helper.VercorsSpec
 
 class PermutationSpec extends VercorsSpec {
   vercors should verify using silicon example "publications/2020/permutations/permutation.pvl"
-  vercors should verify using silicon examples("publications/2020/permutations/evenPhase.pvl", "publications/2020/permutations/permutation.pvl")
+  // vercors should verify using silicon examples("publications/2020/permutations/evenPhase.pvl", "publications/2020/permutations/permutation.pvl")
   vercors should verify using silicon examples("publications/2020/permutations/oddEven.pvl", "publications/2020/permutations/permutation.pvl")
   // vercors should verify using silicon examples("publications/2020/permutations/oddPhase.pvl", "publications/2020/permutations/permutation.pvl)
   vercors should verify using silicon examples("publications/2020/permutations/bubble.pvl", "publications/2020/permutations/permutation.pvl")