test: update expected report.txt

The update is required after the simple project has been recently updated (removed spec blocks from the Sum module).
eigerco · Dec 23, 2024 · 4853854 · 4853854
1 parent 88837b8
commit 4853854
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/move-mutator/tests/move-assets/simple/report.txt.mutation-exp b/move-mutator/tests/move-assets/simple/report.txt.mutation-exp
@@ -541,10 +541,10 @@
         "killed": 4,
         "mutants_alive_diffs": [],
         "mutants_killed_diff": [
-          "--- original\n+++ modified\n@@ -1,6 +1,6 @@\n module TestAccount::Sum {\n     fun sum(x: u128, y: u128): u128 {\n-        let sum_r = x + y;\n+        let sum_r = x - y;\n         spec {\n                 assert sum_r == x+y;\n         };\n",
-          "--- original\n+++ modified\n@@ -1,6 +1,6 @@\n module TestAccount::Sum {\n     fun sum(x: u128, y: u128): u128 {\n-        let sum_r = x + y;\n+        let sum_r = x * y;\n         spec {\n                 assert sum_r == x+y;\n         };\n",
-          "--- original\n+++ modified\n@@ -1,6 +1,6 @@\n module TestAccount::Sum {\n     fun sum(x: u128, y: u128): u128 {\n-        let sum_r = x + y;\n+        let sum_r = x / y;\n         spec {\n                 assert sum_r == x+y;\n         };\n",
-          "--- original\n+++ modified\n@@ -1,6 +1,6 @@\n module TestAccount::Sum {\n     fun sum(x: u128, y: u128): u128 {\n-        let sum_r = x + y;\n+        let sum_r = x % y;\n         spec {\n                 assert sum_r == x+y;\n         };\n"
+          "--- original\n+++ modified\n@@ -1,6 +1,6 @@\n module TestAccount::Sum {\n     fun sum(x: u128, y: u128): u128 {\n-        let sum_r = x + y;\n+        let sum_r = x - y;\n\n         sum_r\n     }\n",
+          "--- original\n+++ modified\n@@ -1,6 +1,6 @@\n module TestAccount::Sum {\n     fun sum(x: u128, y: u128): u128 {\n-        let sum_r = x + y;\n+        let sum_r = x * y;\n\n         sum_r\n     }\n",
+          "--- original\n+++ modified\n@@ -1,6 +1,6 @@\n module TestAccount::Sum {\n     fun sum(x: u128, y: u128): u128 {\n-        let sum_r = x + y;\n+        let sum_r = x / y;\n\n         sum_r\n     }\n",
+          "--- original\n+++ modified\n@@ -1,6 +1,6 @@\n module TestAccount::Sum {\n     fun sum(x: u128, y: u128): u128 {\n-        let sum_r = x + y;\n+        let sum_r = x % y;\n\n         sum_r\n     }\n"
         ]
       }
     ]