From b67ab930ae92506ca669a142acf4377206f638b1 Mon Sep 17 00:00:00 2001
From: tempiaa <tempiaa@eurecom.fr>
Date: Mon, 6 Apr 2020 09:48:01 +0200
Subject: [PATCH] Small fix in avatar model-checker
---
.../java/avatartranslator/modelchecker/AvatarModelChecker.java | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
index b57b622381..3b54adebaa 100644
--- a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
+++ b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
@@ -333,6 +333,7 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
computeRG = true;
startModelChecking();
}
+ studyLiveness = true;
return true;
}
@@ -415,6 +416,7 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
//states.put(initialState.hashValue, initialState);
//statesByID.put(initialState.id, initialState);
pendingStates.add(initialState);
+ nbOfCurrentComputations = 0;
if (timeLimitRG) {
computeAllStatesTime();
@@ -527,7 +529,6 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
if (timeLimitReached || livenessDone) {
emptyPendingStates();
- notifyAll();
return;
}
--
GitLab