From f21c99b71385aae2231c4a2587d2282cd74a2ac8 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Tue, 7 Jun 2016 08:57:10 +0000
Subject: [PATCH] Update on clock management in avatar model checker
---
src/avatartranslator/modelchecker/AvatarModelChecker.java | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/avatartranslator/modelchecker/AvatarModelChecker.java b/src/avatartranslator/modelchecker/AvatarModelChecker.java
index dbb7ff9773..eef755864d 100644
--- a/src/avatartranslator/modelchecker/AvatarModelChecker.java
+++ b/src/avatartranslator/modelchecker/AvatarModelChecker.java
@@ -147,12 +147,12 @@ public class AvatarModelChecker implements Runnable {
// Compute initial state
SpecificationState initialState = new SpecificationState();
initialState.setInit(spec);
- prepareTransitionsOfState(initialState);
- blockValues = initialState.getBlockValues();
initialState.id = getStateID();
if (ignoreEmptyTransitions) {
handleNonEmptyUniqueTransition(initialState);
}
+ prepareTransitionsOfState(initialState);
+ blockValues = initialState.getBlockValues();
//TraceManager.addDev("initialState=" + initialState.toString());
initialState.computeHash(blockValues);
--
GitLab