From 2a3e0974f19c54c29e30ed519cc45998091ae8b9 Mon Sep 17 00:00:00 2001
From: tempiaa <tempiaa@eurecom.fr>
Date: Thu, 28 May 2020 16:20:35 +0200
Subject: [PATCH] Clean for merge
---
src/main/java/avatartranslator/AvatarStateMachine.java | 3 ---
.../avatartranslator/modelchecker/AvatarModelChecker.java | 5 +----
2 files changed, 1 insertion(+), 7 deletions(-)
diff --git a/src/main/java/avatartranslator/AvatarStateMachine.java b/src/main/java/avatartranslator/AvatarStateMachine.java
index 120cf24247..7775c13750 100644
--- a/src/main/java/avatartranslator/AvatarStateMachine.java
+++ b/src/main/java/avatartranslator/AvatarStateMachine.java
@@ -42,8 +42,6 @@ import myutil.TraceManager;
import java.util.*;
-import org.apache.commons.math3.analysis.function.Add;
-
/**
* Class AvatarStateMachine
* State machine, with composite states
@@ -229,7 +227,6 @@ public class AvatarStateMachine extends AvatarElement {
}
private void addStateAfterActionOnSignal(AvatarBlock _block) {
- AvatarStateMachineElement next;
List<AvatarStateMachineElement> toAdd = new ArrayList<AvatarStateMachineElement>();
int id = 0;
diff --git a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
index fa14cb3719..0774422ac5 100644
--- a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
+++ b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
@@ -44,7 +44,6 @@ import myutil.BoolExpressionEvaluator;
import myutil.Conversion;
import myutil.IntExpressionEvaluator;
import myutil.TraceManager;
-import rationals.properties.isEmpty;
import java.util.*;
@@ -589,9 +588,7 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
if (mustStop()) {
return;
}
-
- int cpt = 0;
-
+
initialState.property = safety.getSolverResult(initialState);
if (studySafety && safety.propertyType == SafetyProperty.BLOCK_STATE) {
--
GitLab