From 8b76db4a35089e98415e55e9e206531cf1a637a3 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paris.fr>
Date: Thu, 7 Apr 2022 16:58:44 +0200
Subject: [PATCH] Update on avatar model checker
---
.../java/avatartranslator/modelchecker/AvatarModelChecker.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
index 63992a81e9..04e22cf495 100644
--- a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
+++ b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
@@ -1227,7 +1227,7 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
if ((AvatarTransition.isActionType(tr.getType()) && (tr.clockMin == tr.clockMax) && (tr.clockMin == 0)) ||
tr.getType() == AvatarTransition.TYPE_EMPTY) {
// Must look for possible transitions from the same state
- if (!(tr.fromStateWithMoreThanOneTransition) || onlyOnetimeSameBlockTransition(tr, transitions)) {
+ if (!(tr.fromStateWithMoreThanOneTransition) /*|| onlyOnetimeSameBlockTransition(tr, transitions)*/) {
st = tr;
if (ignoreInternalStates) { // New behavior
computeAllInternalStatesFrom(_ss, st);
--
GitLab