Minor changes

lisa-analyzer · Feb 28, 2024 · 090f895 · 090f895
1 parent 7a84b57
commit 090f895
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/test/java/it/unipr/analysis/cron/EVMBytecodeTest.java b/src/test/java/it/unipr/analysis/cron/EVMBytecodeTest.java
@@ -272,7 +272,7 @@ private MyLogger newAnalysis(String CONTRACT_ADDR) throws Exception {
 		conf.serializeResults = false;
 		conf.jsonOutput = false;
 		conf.abstractState = new SimpleAbstractState<MonolithicHeap, EVMAbstractState, TypeEnvironment<InferredTypes>>(
-				new MonolithicHeap(), new EVMAbstractState(),
+				new MonolithicHeap(), new EVMAbstractState(CONTRACT_ADDR),
 				new TypeEnvironment<>(new InferredTypes()));
 		conf.testDir = "benchmark/" + CONTRACT_ADDR;
 		conf.callGraph = new RTACallGraph();