Fixed issue (#26)

lisa-analyzer · Nov 9, 2024 · c7a4be8 · c7a4be8
1 parent 3aa69ca
commit c7a4be8
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/main/java/it/unipr/EVMLiSA.java b/src/main/java/it/unipr/EVMLiSA.java
@@ -146,6 +146,11 @@ public void go(String[] args) throws Exception {
 		if (useCreationCode)
 			EVMFrontend.setUseCreationCode();
 
+		if (useStorageLive && addressSC == null) {
+			System.err.println("Address must be set if live storage option is activated.");
+			System.exit(1);
+		}
+
 		// Creating json output notes
 		JSONObject jsonOptions = new JSONObject();
 		jsonOptions.put("address", addressSC);