add --assumeInjectivityOnInhale

utwente-fmt · Jan 9, 2024 · 623851f · 623851f
1 parent 6a57034
commit 623851f
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/test/main/vct/test/integration/examples/VeyMontToolPaperSpec.scala b/test/main/vct/test/integration/examples/VeyMontToolPaperSpec.scala
@@ -15,5 +15,10 @@ class VeyMontToolPaperSpec extends VercorsSpec {
   vercors should verify using silicon flag "--veymont-generate-permissions" example s"$applicability/election-5.pvl"
 
   vercors should verify using silicon flag "--veymont-generate-permissions" example s"$paperExamples/veymont-swap.pvl"
-  vercors should verify using silicon flag "--veymont-generate-permissions" example s"$paperExamples/veymont-tictactoemn.pvl"
+  (vercors
+    should verify
+    using silicon
+    flags Seq("--veymont-generate-permissions", "--backend-option", "--assumeInjectivityOnInhale")
+    example s"$paperExamples/veymont-tictactoemn.pvl"
+    )
 }