fix(dcd): Tests

Zilliqa · Oct 6, 2022 · 221bf97 · 221bf97
1 parent b1e2b24
commit 221bf97
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 8 deletions.
diff --git a/tests/checker/good/Good.ml b/tests/checker/good/Good.ml
@@ -95,7 +95,6 @@ module Tests = Scilla_test.Util.DiffBasedTests (struct
       "dead_code_test15.scilla";
       "dead_code_test16.scilla";
       "dead_code_test17.scilla";
-      "dead_code_test18.scilla";
       "simple-dex-remote-reads.scilla";
       "type_casts.scilla";
       "timestamp.scilla";

diff --git a/tests/checker/good/gold/dead_code_test16.scilla.gold b/tests/checker/good/gold/dead_code_test16.scilla.gold
@@ -60,7 +60,7 @@
     {
       "warning_message": "Unused contract parameter: all_unused",
       "start_location": {
-        "file": "tests/contracts/dead_code_test16.scilla",
+        "file": "contracts/dead_code_test16.scilla",
         "line": 11,
         "column": 5
       },
@@ -70,7 +70,7 @@
     {
       "warning_message": "No transition in contract Dead16 contains an accept statement\n",
       "start_location": {
-        "file": "tests/contracts/dead_code_test16.scilla",
+        "file": "contracts/dead_code_test16.scilla",
         "line": 8,
         "column": 10
       },

diff --git a/tests/checker/good/gold/dead_code_test17.scilla.gold b/tests/checker/good/gold/dead_code_test17.scilla.gold
@@ -60,7 +60,7 @@
     {
       "warning_message": "Unused procedure: use_all",
       "start_location": {
-        "file": "tests/contracts/dead_code_test17.scilla",
+        "file": "contracts/dead_code_test17.scilla",
         "line": 17,
         "column": 11
       },
@@ -70,7 +70,7 @@
     {
       "warning_message": "Unused contract parameter: all_used",
       "start_location": {
-        "file": "tests/contracts/dead_code_test17.scilla",
+        "file": "contracts/dead_code_test17.scilla",
         "line": 10,
         "column": 5
       },
@@ -80,7 +80,7 @@
     {
       "warning_message": "Unused remote load statement to: a1",
       "start_location": {
-        "file": "tests/contracts/dead_code_test17.scilla",
+        "file": "contracts/dead_code_test17.scilla",
         "line": 18,
         "column": 3
       },
@@ -90,7 +90,7 @@
     {
       "warning_message": "Unused remote load statement to: a2",
       "start_location": {
-        "file": "tests/contracts/dead_code_test17.scilla",
+        "file": "contracts/dead_code_test17.scilla",
         "line": 19,
         "column": 3
       },
@@ -100,7 +100,7 @@
     {
       "warning_message": "No transition in contract Dead16 contains an accept statement\n",
       "start_location": {
-        "file": "tests/contracts/dead_code_test17.scilla",
+        "file": "contracts/dead_code_test17.scilla",
         "line": 8,
         "column": 10
       },