Refactoring timestamp dependency tests

Author: VincenzoArceri

evm-testcases/taint/testTimestampDependency/example/report.json

@@ -1,23 +1,23 @@
 {
   "warnings" : [ ],
-  "files" : [ "report.json", "untyped_program.evm-testcases_taint_testTimestampDependency_example_example.sol().dot", "untyped_program.evm-testcases_taint_testTimestampDependency_example_example.sol().json" ],
+  "files" : [ "report.json", "untyped_program.evm-testcases_taint_testTimestampDependency_example_example.sol().json" ],
   "info" : {
     "cfgs" : "1",
-    "duration" : "400ms",
-    "end" : "2025-02-13T19:51:49.864+01:00",
+    "duration" : "318ms",
+    "end" : "2025-02-13T20:05:37.072+01:00",
     "expressions" : "2",
-    "files" : "2",
+    "files" : "1",
     "globals" : "0",
     "members" : "1",
     "programs" : "1",
-    "start" : "2025-02-13T19:51:49.464+01:00",
+    "start" : "2025-02-13T20:05:36.754+01:00",
     "statements" : "4",
     "units" : "0",
     "version" : "0.1",
     "warnings" : "0"
   },
   "configuration" : {
-    "analysisGraphs" : "DOT",
+    "analysisGraphs" : "NONE",
     "descendingPhaseType" : "NONE",
     "dumpForcesUnwinding" : "false",
     "fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",

evm-testcases/taint/testTimestampDependency/example/untyped_program.evm-testcases_taint_testTimestampDependency_example_example.sol().dot

@@ -1,23 +1,23 @@
 {
   "warnings" : [ ],
-  "files" : [ "report.json", "untyped_program.evm-testcases_taint_testTimestampDependency_example02_example02.sol().dot", "untyped_program.evm-testcases_taint_testTimestampDependency_example02_example02.sol().json" ],
+  "files" : [ "report.json", "untyped_program.evm-testcases_taint_testTimestampDependency_example02_example02.sol().json" ],
   "info" : {
     "cfgs" : "1",
-    "duration" : "27ms",
-    "end" : "2025-02-13T19:51:50.049+01:00",
+    "duration" : "20ms",
+    "end" : "2025-02-13T20:05:37.261+01:00",
     "expressions" : "2",
-    "files" : "2",
+    "files" : "1",
     "globals" : "0",
     "members" : "1",
     "programs" : "1",
-    "start" : "2025-02-13T19:51:50.022+01:00",
+    "start" : "2025-02-13T20:05:37.241+01:00",
     "statements" : "6",
     "units" : "0",
     "version" : "0.1",
     "warnings" : "0"
   },
   "configuration" : {
-    "analysisGraphs" : "DOT",
+    "analysisGraphs" : "NONE",
     "descendingPhaseType" : "NONE",
     "dumpForcesUnwinding" : "false",
     "fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",

evm-testcases/taint/testTimestampDependency/example02/report.json

@@ -1,23 +1,23 @@
 {
   "warnings" : [ ],
-  "files" : [ "report.json", "untyped_program.evm-testcases_taint_testTimestampDependency_example03_example03.sol().dot", "untyped_program.evm-testcases_taint_testTimestampDependency_example03_example03.sol().json" ],
+  "files" : [ "report.json", "untyped_program.evm-testcases_taint_testTimestampDependency_example03_example03.sol().json" ],
   "info" : {
     "cfgs" : "1",
-    "duration" : "36ms",
-    "end" : "2025-02-13T19:51:50.147+01:00",
+    "duration" : "26ms",
+    "end" : "2025-02-13T20:05:37.346+01:00",
     "expressions" : "3",
-    "files" : "2",
+    "files" : "1",
     "globals" : "0",
     "members" : "1",
     "programs" : "1",
-    "start" : "2025-02-13T19:51:50.111+01:00",
+    "start" : "2025-02-13T20:05:37.320+01:00",
     "statements" : "11",
     "units" : "0",
     "version" : "0.1",
     "warnings" : "0"
   },
   "configuration" : {
-    "analysisGraphs" : "DOT",
+    "analysisGraphs" : "NONE",
     "descendingPhaseType" : "NONE",
     "dumpForcesUnwinding" : "false",
     "fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",

evm-testcases/taint/testTimestampDependency/example02/untyped_program.evm-testcases_taint_testTimestampDependency_example02_example02.sol().dot

@@ -1,17 +1,17 @@
 {
   "warnings" : [ ],
-  "files" : [ "report.json", "untyped_program.evm-testcases_taint_testTimestampDependency_example04_example04.sol().json" ],
+  "files" : [ "report.json", "untyped_program.evm-testcases_taint_testTimestampDependency_example04_example05.sol().json" ],
   "info" : {
     "cfgs" : "1",
-    "duration" : "666ms",
-    "end" : "2025-01-30T16:35:47.279+01:00",
-    "expressions" : "3",
+    "duration" : "31ms",
+    "end" : "2025-02-13T20:05:37.451+01:00",
+    "expressions" : "4",
     "files" : "1",
     "globals" : "0",
     "members" : "1",
     "programs" : "1",
-    "start" : "2025-01-30T16:35:46.613+01:00",
-    "statements" : "11",
+    "start" : "2025-02-13T20:05:37.420+01:00",
+    "statements" : "14",
     "units" : "0",
     "version" : "0.1",
     "warnings" : "0"