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

Tests for constant removal

parent bdd482c4
No related branches found
No related tags found
1 merge request!339Model-checker improvements
......@@ -195,6 +195,8 @@ public class AvatarExpressionTest {
assertTrue(e2.getResult(ss) == 1);
assertTrue(e3.getResult(ss) == 0);
as.removeConstants();
as.sortAttributes();
as.setAttributeOptRatio(4);
ss = new SpecificationState();
ss.setInit(as, false);
......@@ -208,6 +210,8 @@ public class AvatarExpressionTest {
assertTrue(e1.getResult(ss) == 17);
assertTrue(e2.getResult(ss) == 1);
assertTrue(e3.getResult(ss) == 0);
}
}
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