diff --git a/ttool/src/test/java/cli/CLIAvatarModelCheckerTest.java b/ttool/src/test/java/cli/CLIAvatarModelCheckerTest.java index e0b9d320c59941bc0776d57802e08b6aa7fb7737..a1822cdfdb4e39409dcbddf64c4556c3ed3bfc48 100644 --- a/ttool/src/test/java/cli/CLIAvatarModelCheckerTest.java +++ b/ttool/src/test/java/cli/CLIAvatarModelCheckerTest.java @@ -482,8 +482,8 @@ public class CLIAvatarModelCheckerTest extends AbstractTest implements Interpret graph.computeStates(); System.out.println("random Cstates=" + graph.getNbOfStates() + " transitions=" + graph.getNbOfTransitions()); - assertTrue(graph.getNbOfStates() == 6); - assertTrue(graph.getNbOfTransitions() == 5); + assertTrue(graph.getNbOfStates() == 49); + assertTrue(graph.getNbOfTransitions() == 48); }