Commit 05297783 authored by Ludovic Apvrille's avatar Ludovic Apvrille

Revert "Optimized synchronization of signals for better performance"

This reverts commit c8134e3a.
parent 93fdff47
......@@ -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;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment