From 923ddd0ad2a8c7e5dc366d7e645f6cabf48a99f2 Mon Sep 17 00:00:00 2001
From: tempiaa <tempiaa@eurecom.fr>
Date: Mon, 15 Jun 2020 17:46:13 +0200
Subject: [PATCH] Uncommented lines for debug
---
.../avatartranslator/modelchecker/AvatarModelChecker.java | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
index ef923d6d05..75b0b41edd 100644
--- a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
+++ b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
@@ -1145,9 +1145,9 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
}
if (freeIntermediateStateCoding) {
-// _ss.freeUselessAllocations();
+ _ss.freeUselessAllocations();
} else {
-// _ss.finished();
+ _ss.finished();
}
mustStop();
@@ -1318,9 +1318,9 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
}
if (freeIntermediateStateCoding) {
-// _ss.freeUselessAllocations();
+ _ss.freeUselessAllocations();
} else {
-// _ss.finished();
+ _ss.finished();
}
mustStop();
--
GitLab