diff --git a/src/test/java/it/unipr/analysis/cron/EVMBytecodeTest.java b/src/test/java/it/unipr/analysis/cron/EVMBytecodeTest.java
index f86a3839f..79c0b862e 100644
--- 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();