From e9b4785b9b403b31666458f565d78fad5a6de9bb Mon Sep 17 00:00:00 2001
From: tempiaa <tempiaa@eurecom.fr>
Date: Thu, 26 Mar 2020 15:47:31 +0100
Subject: [PATCH] Fix in number of displayed deadlocks when limiting the number
of states
---
.../modelchecker/AvatarModelChecker.java | 14 ++++++++++++++
1 file changed, 14 insertions(+)
diff --git a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
index 149edaca57..e187110d03 100644
--- a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
+++ b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
@@ -698,6 +698,13 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
nbOfLinks++;
_ss.addNext(link);
}
+
+ if (stateLimitReached) {
+ if (_ss.isDeadlock()) {
+ // have to register current state as deadlock of the graph
+ nbOfDeadlocks++;
+ }
+ }
if (freeIntermediateStateCoding) {
_ss.freeUselessAllocations();
@@ -827,6 +834,13 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
previousState = newState;
newState = previousState.advancedClone();
}
+
+ if (stateLimitReached) {
+ if (_ss.isDeadlock()) {
+ // have to register current state as deadlock of the graph
+ nbOfDeadlocks++;
+ }
+ }
if (freeIntermediateStateCoding) {
_ss.freeUselessAllocations();
--
GitLab