Change expected number of conditions (#611)

ultimate-pa · Feb 28, 2023 · cc2623e · cc2623e
1 parent 7405c84
commit cc2623e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...ples/Automata/regression/pn/operations/finitePrefix-and-isEmpty/GlobalWeekForFuture01.ats b/...ples/Automata/regression/pn/operations/finitePrefix-and-isEmpty/GlobalWeekForFuture01.ats
@@ -11,7 +11,7 @@ print(bp);
 PetriNet net2 = finitePrefix2PetriNet(bp);
 print(net2);
 print(numberOfConditions(bp));
-assert(numberOfConditions(bp) == 18);
+assert(numberOfConditions(bp) == 9);
 
 assert(!isEmpty(net));