Fix/unary (#123)

* fix: unary operator swapped too much

* chore: bump lock file

* fix: tests

Author: joske

Cargo.lock

@@ -46,7 +46,7 @@ impl MutationOperator for Unary {
         let start = source[start..]
             .find(|c: char| !c.is_whitespace())
             .map_or(start, |i| start + i);
-        let end = self.loc.span().end().to_usize();
+        let end = start + 1;
         let cur_op = &source[start..end];
 
         // For unary operator mutations, we only need to replace the operator with a space (to ensure the same file length).

move-mutator/src/operators/unary.rs

@@ -7,7 +7,7 @@
         "killed": 1,
         "mutants_alive_diffs": [],
         "mutants_killed_diff": [
-          "--- original\n+++ modified\n@@ -1,6 +1,6 @@\n module TestAccount::Negation_main {\n     fun neg_log(x: bool): bool {\n-        !x\n+         \n     }\n\n     spec neg_log {\n"
+          "--- original\n+++ modified\n@@ -1,6 +1,6 @@\n module TestAccount::Negation_main {\n     fun neg_log(x: bool): bool {\n-        !x\n+         x\n     }\n\n     spec neg_log {\n"
         ]
       }
     ],
@@ -18,7 +18,7 @@
         "killed": 1,
         "mutants_alive_diffs": [],
         "mutants_killed_diff": [
-          "--- original\n+++ modified\n@@ -1,6 +1,6 @@\n module TestAccount::Negation_m1 {\n     fun neg_log(x: bool): bool {\n-        !x\n+         \n     }\n\n     spec neg_log {\n"
+          "--- original\n+++ modified\n@@ -1,6 +1,6 @@\n module TestAccount::Negation_m1 {\n     fun neg_log(x: bool): bool {\n-        !x\n+         x\n     }\n\n     spec neg_log {\n"
         ]
       }
     ],
@@ -29,7 +29,7 @@
         "killed": 1,
         "mutants_alive_diffs": [],
         "mutants_killed_diff": [
-          "--- original\n+++ modified\n@@ -1,6 +1,6 @@\n module TestAccount::Negation_m1_1 {\n     fun neg_log(x: bool): bool {\n-        !x\n+         \n     }\n\n     spec neg_log {\n"
+          "--- original\n+++ modified\n@@ -1,6 +1,6 @@\n module TestAccount::Negation_m1_1 {\n     fun neg_log(x: bool): bool {\n-        !x\n+         x\n     }\n\n     spec neg_log {\n"
         ]
       }
     ],
@@ -40,10 +40,10 @@
         "killed": 1,
         "mutants_alive_diffs": [],
         "mutants_killed_diff": [
-          "--- original\n+++ modified\n@@ -1,6 +1,6 @@\n module TestAccount::Negation_m2 {\n     fun neg_log(x: bool): bool {\n-        !x\n+         \n     }\n\n     spec neg_log {\n"
+          "--- original\n+++ modified\n@@ -1,6 +1,6 @@\n module TestAccount::Negation_m2 {\n     fun neg_log(x: bool): bool {\n-        !x\n+         x\n     }\n\n     spec neg_log {\n"
         ]
       }
     ]
   },
   "package_dir": "/Users/karlomardesic/Workspace/move-spec-testing/move-mutator/tests/move-assets/same_names"
-}
+}

move-mutator/tests/move-assets/same_names/report.txt.spec-exp

@@ -130,6 +130,17 @@
         ]
       }
     ],
+    "sources/Negation.move": [
+      {
+        "module_func": "Negation::neg_log",
+        "tested": 1,
+        "killed": 1,
+        "mutants_alive_diffs": [],
+        "mutants_killed_diff": [
+          "--- original\n+++ modified\n@@ -1,6 +1,6 @@\n module TestAccount::Negation {\n     fun neg_log(x: bool): bool {\n-        !x\n+         x\n     }\n\n     #[test]\n"
+        ]
+      }
+    ],
     "sources/Operators.move": [
       {
         "module_func": "Operators::div",
@@ -231,6 +242,15 @@
           "--- original\n+++ modified\n@@ -219,7 +219,7 @@\n     }\n\n     fun logical_and(x: bool, y: bool): bool {\n-        x && y\n+        x || y\n     }\n\n     #[test]\n"
         ]
       },
+      {
+        "module_func": "Operators::logical_not",
+        "tested": 1,
+        "killed": 1,
+        "mutants_alive_diffs": [],
+        "mutants_killed_diff": [
+          "--- original\n+++ modified\n@@ -231,7 +231,7 @@\n     }\n\n     fun logical_not(x: bool): bool {\n-        !x\n+         x\n     }\n\n     #[test]\n"
+        ]
+      },
       {
         "module_func": "Operators::logical_or",
         "tested": 2,
@@ -568,5 +588,5 @@
       }
     ]
   },
-  "package_dir": "/home/jos/Projects/move-mutation-tools/move-mutator/tests/move-assets/simple"
+  "package_dir": "/Users/jos/Projects/move-mutation-tools/move-mutator/tests/move-assets/simple"
 }