From 090f895fde8e4e3551730c6d065e222a9412f53c Mon Sep 17 00:00:00 2001
From: VincenzoArceri <vincenzoarceri.92@gmail.com>
Date: Wed, 28 Feb 2024 17:00:22 +0100
Subject: [PATCH] Minor changes

---
 src/test/java/it/unipr/analysis/cron/EVMBytecodeTest.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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();