From b7be64c59f0f0b203b71ffae2302f3aea027232c Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paris.fr>
Date: Wed, 29 Mar 2023 16:32:52 +0200
Subject: [PATCH] cli.CLIAvatarModelCheckerTest.testAdvancedRandom is now ok
---
ttool/src/test/java/cli/CLIAvatarModelCheckerTest.java | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/ttool/src/test/java/cli/CLIAvatarModelCheckerTest.java b/ttool/src/test/java/cli/CLIAvatarModelCheckerTest.java
index e0b9d320c5..a1822cdfdb 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);
}
--
GitLab