Minor changes

lisa-analyzer · Feb 26, 2024 · ae20e04 · ae20e04
1 parent 6dea99e
commit ae20e04
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);