Merge branch 'bug-fix-benchmark-script' of github.com:lisa-analyzer/evm-lisa into bug-fix-benchmark-script

Author: merendamattia

evm-testcases/cfs/mstore3/mstore_eth.sol

@@ -0,0 +1,3 @@
+PUSH1 0xA0
+PUSH32 0x2710
+MSTORE

evm-testcases/cfs/mstore3/report.json

@@ -0,0 +1,38 @@
+{
+  "warnings" : [ ],
+  "files" : [ "report.json", "untyped_program.evm-testcases_cfs_mstore3_mstore_eth.sol().json" ],
+  "info" : {
+    "cfgs" : "1",
+    "duration" : "346ms",
+    "end" : "2025-05-10T16:40:10.938+02:00",
+    "expressions" : "2",
+    "files" : "1",
+    "globals" : "0",
+    "members" : "1",
+    "programs" : "1",
+    "start" : "2025-05-10T16:40:10.592+02:00",
+    "statements" : "3",
+    "units" : "0",
+    "version" : "0.1",
+    "warnings" : "0"
+  },
+  "configuration" : {
+    "analysisGraphs" : "NONE",
+    "descendingPhaseType" : "NONE",
+    "dumpForcesUnwinding" : "false",
+    "fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
+    "glbThreshold" : "5",
+    "hotspots" : "unset",
+    "jsonOutput" : "true",
+    "openCallPolicy" : "WorstCasePolicy",
+    "optimize" : "false",
+    "recursionWideningThreshold" : "5",
+    "semanticChecks" : "JumpSolver",
+    "serializeInputs" : "false",
+    "serializeResults" : "true",
+    "syntacticChecks" : "",
+    "useWideningPoints" : "false",
+    "wideningThreshold" : "5",
+    "workdir" : "evm-outputs/cfs/mstore3"
+  }
+}