Changed size of integers sets

lisa-analyzer · Feb 23, 2024 · e17fc61 · e17fc61
1 parent 34243d9
commit e17fc61
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/it/unipr/analysis/KIntegerSet.java b/src/main/java/it/unipr/analysis/KIntegerSet.java
@@ -11,7 +11,7 @@
 
 public class KIntegerSet extends SetLattice<KIntegerSet, BigDecimal> {
 	private static final BigDecimal MAX = new BigDecimal(Math.pow(2, 256));
-	public static final int K = 1;
+	public static final int K = 2;
 
 	public static final KIntegerSet ZERO = new KIntegerSet(0);
 	public static final KIntegerSet ONE = new KIntegerSet(1);