Fix failing tests

imitator-model-checker · Oct 19, 2023 · 09e06a6 · 09e06a6
1 parent cacd6f6
commit 09e06a6
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/tests/testcases/parametric_timed_games/losing_state_prop_witness_simple.imi b/tests/testcases/parametric_timed_games/losing_state_prop_witness_simple.imi
@@ -38,7 +38,6 @@ end (* ptg *)
 init :=
 	& loc[ptg] = l1
 	& x = 0
-	& p >= 0
 ;
 
 end
diff --git a/tests/testcases/parametric_timed_games/simple_ptg3.imi b/tests/testcases/parametric_timed_games/simple_ptg3.imi
@@ -27,7 +27,6 @@ end (* ptg *)
 init :=
 	& loc[ptg] = l1
 	& x = 0
-	& p >= 0
 ;
 
 end