diff --git a/move-mutator/tests/move-assets/simple/report.txt.mutation-exp b/move-mutator/tests/move-assets/simple/report.txt.mutation-exp index 73607f13a4..60eed8d069 100644 --- 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" ] } ]