Bug fix

lisa-analyzer · Nov 11, 2024 · 12b4c7b · 12b4c7b
1 parent 780e9dd
commit 12b4c7b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/test/java/it/unipr/analysis/cron/EVMBytecodeSolidiFIReentrancyTruth.java b/src/test/java/it/unipr/analysis/cron/EVMBytecodeSolidiFIReentrancyTruth.java
@@ -148,7 +148,7 @@ private void setSolidifiMap() {
 		_solidifi.put(30, 42);
 		_solidifi.put(31, 15);
 		_solidifi.put(32, 21);
-		_solidifi.put(33, 24); // added 2 from vanilla
+		_solidifi.put(33, 23); // added 2 from vanilla
 		_solidifi.put(34, 36);
 		_solidifi.put(35, 34);
 		_solidifi.put(36, 29);