Skip to content
Snippets Groups Projects
Commit 7d597ff8 authored by tempiaa's avatar tempiaa
Browse files

Fixed constant removal for timers

parent a79562db
No related branches found
No related tags found
1 merge request!339Model-checker improvements
...@@ -772,6 +772,10 @@ public class AvatarBlock extends AvatarElement implements AvatarStateMachineOwne ...@@ -772,6 +772,10 @@ public class AvatarBlock extends AvatarElement implements AvatarStateMachineOwne
for (AvatarAttribute attr : attributes) { for (AvatarAttribute attr : attributes) {
boolean toKeep = false; boolean toKeep = false;
if (attr.isTimer()) {
toKeep = true;
}
for (AvatarStateMachineElement elt : asm.getListOfElements()) { for (AvatarStateMachineElement elt : asm.getListOfElements()) {
if (elt instanceof AvatarTransition) { if (elt instanceof AvatarTransition) {
at = (AvatarTransition) elt; at = (AvatarTransition) elt;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment