Fix expected number of transitions (#611)

ultimate-pa · Feb 21, 2023 · 0c8bd36 · 0c8bd36
1 parent 86f7848
commit 0c8bd36
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/trunk/examples/Automata/regression/pn/operations/difference/BothSyncMethods.ats b/trunk/examples/Automata/regression/pn/operations/difference/BothSyncMethods.ats
@@ -45,7 +45,7 @@ assert(!accepts(differenceI, [a b]));
 assert(!accepts(differenceI, [a b c]));
 assert(!accepts(differenceI, [a c b]));
 assert(!accepts(differenceI, [c a b]));
-assert(numberOfTransitions(differenceI) == 4);
+assert(numberOfTransitions(differenceI) == 2);
 assert(numberOfPlaces(differenceI) == 9);