From ae20e045ee8322d4bfe43bab76a78659709d87c6 Mon Sep 17 00:00:00 2001 From: 0xMere Date: Mon, 26 Feb 2024 19:04:26 +0100 Subject: [PATCH] Minor changes --- src/main/java/it/unipr/EVMLiSA.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/it/unipr/EVMLiSA.java b/src/main/java/it/unipr/EVMLiSA.java index d631da2c9..923ab556a 100644 --- a/src/main/java/it/unipr/EVMLiSA.java +++ b/src/main/java/it/unipr/EVMLiSA.java @@ -327,7 +327,7 @@ private MyLogger newAnalysis(String CONTRACT_ADDR) throws Exception { conf.abstractState = new SimpleAbstractState<>(new MonolithicHeap(), new EVMAbstractState(), new TypeEnvironment<>(new InferredTypes())); conf.jsonOutput = true; - conf.workdir = OUTPUT_DIR + "/benchmark/" + CONTRACT_ADDR; + conf.workdir = OUTPUT_DIR + "benchmark/" + CONTRACT_ADDR; conf.interproceduralAnalysis = new ModularWorstCaseAnalysis<>(); JumpSolver checker = new JumpSolver(); conf.semanticChecks.add(checker);