From ba8e6a849aed9c67bb9989feef9fb0ffdc71f57b Mon Sep 17 00:00:00 2001
From: tempiaa <tempiaa@eurecom.fr>
Date: Thu, 2 Jul 2020 11:19:27 +0200
Subject: [PATCH] Removed constant removal momentarily
---
.../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 324dd75be8..7513655444 100644
--- a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
+++ b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
@@ -136,7 +136,7 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
initialSpec.removeCompositeStates();
//TraceManager.addDev("Before clone:\n" + initialSpec);
spec = initialSpec.advancedClone();
- spec.removeConstants();
+ //spec.removeConstants();
//TraceManager.addDev("After clone:\n" + spec);
}
ignoreEmptyTransitions = true;
--
GitLab