Apply spotless

lisa-analyzer · Feb 12, 2024 · 9fbce95 · 9fbce95
1 parent 19c53f9
commit 9fbce95
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/src/main/java/it/unipr/analysis/AbstractStack.java b/src/main/java/it/unipr/analysis/AbstractStack.java
@@ -17,7 +17,7 @@
 import java.util.function.Predicate;
 
 public class AbstractStack implements ValueDomain<AbstractStack>, BaseLattice<AbstractStack> {
-	public static final int STACK_LIMIT = 64;
+	public static final int STACK_LIMIT = 72;
 	private static final AbstractStack BOTTOM = new AbstractStack(null);
 
 	private final LinkedList<KIntegerSet> stack;

diff --git a/src/main/java/it/unipr/analysis/EVMAbstractState.java b/src/main/java/it/unipr/analysis/EVMAbstractState.java
@@ -1110,10 +1110,12 @@ public EVMAbstractState assume(ValueExpression expression, ProgramPoint src, Pro
 							KIntegerSet condition = result.pop();
 
 							if (condition.isDefinitelyFalse()) {
-								// if condition is surely false, return the result
+								// if condition is surely false, return the
+								// result
 								return new EVMAbstractState(result, memory, mu_i);
 							} else if (condition.isDefinitelyTrue()) {
-								// if condition is surely true, return the bottom
+								// if condition is surely true, return the
+								// bottom
 								return bottom();
 							} else if (condition.isUnknown()) {
 								// Condition could be either true or false