Fixed bug to shut down of the executor during the analysis

Author: merendamattia

src/main/java/it/unipr/crosschain/xEVMLiSA.java

@@ -70,7 +70,7 @@ public static void runAnalysis(Path bytecodeDirectoryPath, Path abiDirectoryPath
 	public static void analyzeBridge(Bridge bridge) {
 		log.info("Number of contracts to be analyzed: {}.", bridge.getSmartContracts().size());
 
-		EVMLiSA.analyzeSetOfContracts(bridge.getSmartContracts());
+		EVMLiSA.analyzeSetOfContracts(bridge.getSmartContracts(), false);
 		bridge.buildPartialXCFG();
 		bridge.addEdges(
 				getCrossChainEdgesUsingEventsAndFunctionsEntrypoint(bridge));