From 05297783d09ce0fbdf26b9bd0fdd66c643f5e7c6 Mon Sep 17 00:00:00 2001 From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr> Date: Wed, 13 May 2020 16:02:05 +0200 Subject: [PATCH] Revert "Optimized synchronization of signals for better performance" This reverts commit c8134e3a37a03ac0a791190b8c8d2b9493e76373. --- .../java/avatartranslator/modelchecker/AvatarModelChecker.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java index deb548acab..bd90d8f1ba 100644 --- a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java +++ b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java @@ -70,6 +70,7 @@ public class AvatarModelChecker implements Runnable, myutil.Graph { private Map<Integer, SpecificationState> states; private Map<Long, SpecificationState> statesByID; private List<SpecificationState> pendingStates; + //private List<SpecificationLink> links; private int nbOfLinks; private long stateID = 0; @@ -914,6 +915,7 @@ public class AvatarModelChecker implements Runnable, myutil.Graph { } } + public boolean oldEvaluateBoolExpression(String _expr, AvatarBlock _block, SpecificationBlock _sb) { String act = _expr; int cpt = 0; -- GitLab