Refactored output directory structure to use 'outputs' instead of 'execution'

Author: merendamattia

.gitignore

@@ -46,7 +46,7 @@ local.properties
 .loadpath
 .recommenders
 .DS_Store
-execution/
+outputs/
 .env
 
 # External tool builders

src/main/java/it/unipr/analysis/contract/SmartContract.java

@@ -54,7 +54,7 @@ public class SmartContract {
 	private JSONArray _abi;
 
 	/** Base directory for storing contract analysis results. */
-	private static Path _workingDirectory = Path.of("execution", "results");
+	private static Path _workingDirectory = Path.of("outputs", MyTimestampUtil.getCurrentTimestamp());
 
 	/** Path to the contract's ABI file. */
 	private Path _abiFilePath;

src/main/java/it/unipr/utils/MyTimestampUtil.java

@@ -0,0 +1,44 @@
+package it.unipr.utils;
+
+import java.time.LocalDateTime;
+import java.time.format.DateTimeFormatter;
+
+/**
+ * Utility class for generating formatted timestamps.
+ * <p>
+ * This class provides static methods to retrieve the current timestamp in
+ * various formats. All methods are thread-safe as they use immutable
+ * {@link DateTimeFormatter} instances.
+ */
+public final class MyTimestampUtil {
+
+	/**
+	 * Date-time formatter for timestamp in the format: yyyyMMdd-HHmmss-SSS
+	 * (e.g., 20251015-143025-123)
+	 */
+	private static final DateTimeFormatter FORMATTER = DateTimeFormatter.ofPattern("yyyyMMdd-HHmmss-SSS");
+
+	/**
+	 * Private constructor to prevent instantiation of this utility class.
+	 */
+	private MyTimestampUtil() {
+		throw new AssertionError("Utility class should not be instantiated");
+	}
+
+	/**
+	 * Returns the current timestamp as a formatted string.
+	 * <p>
+	 * The format is: yyyyMMdd-HHmmss-SSS
+	 * <ul>
+	 * <li>yyyyMMdd: Year, month, day (e.g., 20251015)</li>
+	 * <li>HHmmss: Hour, minutes, seconds in 24-hour format (e.g., 143025)</li>
+	 * <li>SSS: Milliseconds (e.g., 123)</li>
+	 * </ul>
+	 * Example output: "20251015-143025-123"
+	 *
+	 * @return the current timestamp as a formatted string
+	 */
+	public static String getCurrentTimestamp() {
+		return LocalDateTime.now().format(FORMATTER);
+	}
+}

src/test/java/it/unipr/analysis/cron/SmartaxeBenchmark.java

@@ -6,6 +6,7 @@
 import it.unipr.crosschain.xEVMLiSA;
 import it.unipr.utils.EVMLiSAExecutor;
 import it.unipr.utils.MyCache;
+import it.unipr.utils.MyTimestampUtil;
 import java.io.IOException;
 import java.nio.file.Files;
 import java.nio.file.Path;
@@ -20,7 +21,8 @@
 
 public class SmartaxeBenchmark {
 	private static final Logger log = LogManager.getLogger(SmartaxeBenchmark.class);
-	private static Path workingDirectory = Paths.get("execution", "smartaxe-benchmark");
+	private static Path workingDirectory = Path.of("outputs", MyTimestampUtil.getCurrentTimestamp(),
+			"smartaxe-benchmark");
 
 	public static void main(String[] args) {
 		EVMLiSA.setWorkingDirectory(workingDirectory);