From bef1e511480adc010979c306d0ac42e3639c9947 Mon Sep 17 00:00:00 2001
From: tempiaa <tempiaa@eurecom.fr>
Date: Wed, 29 Jul 2020 11:15:37 +0200
Subject: [PATCH] Fix internal action loop variable assignment
---
.../java/avatartranslator/modelchecker/AvatarModelChecker.java | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
index fc25a9b4b4..cf64aa791c 100644
--- a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
+++ b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
@@ -606,6 +606,7 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
studySafety = studyS;
studyReachability = studyR;
studyReinit = studyRI;
+ studyActionLoop = studyAL;
TraceManager.addDev("Model checking done");
return true;
--
GitLab