From 05626d799af899403942caf9c270f878f760b72c Mon Sep 17 00:00:00 2001
From: Mojtaba Eshghie <eshghie@kth.se>
Date: Wed, 4 Sep 2024 14:49:17 +0200
Subject: [PATCH] #5 Batch 7

---
 .../1/MCR/diff_result_GT.json                 |  5 +++
 .../1/MCR/diff_result_difft.json              | 32 +++++++++++++++++++
 2 files changed, 37 insertions(+)
 create mode 100644 results/contracts/mutants/DutchSaleMockUtils/1/MCR/diff_result_GT.json
 create mode 100644 results/contracts/mutants/DutchSaleMockUtils/1/MCR/diff_result_difft.json

diff --git a/results/contracts/mutants/DutchSaleMockUtils/1/MCR/diff_result_GT.json b/results/contracts/mutants/DutchSaleMockUtils/1/MCR/diff_result_GT.json
new file mode 100644
index 00000000000..abcd155a1e9
--- /dev/null
+++ b/results/contracts/mutants/DutchSaleMockUtils/1/MCR/diff_result_GT.json
@@ -0,0 +1,5 @@
+{
+    "number_of_edits": 1,
+    "timing": 4.953278303146362,
+    "edit_script": "<actions>\n  <update-node tree=\"identifier: keccak256 [624,633]\" label=\"sha256\" />\n</actions>\n"
+}
\ No newline at end of file
diff --git a/results/contracts/mutants/DutchSaleMockUtils/1/MCR/diff_result_difft.json b/results/contracts/mutants/DutchSaleMockUtils/1/MCR/diff_result_difft.json
new file mode 100644
index 00000000000..c91a8c64323
--- /dev/null
+++ b/results/contracts/mutants/DutchSaleMockUtils/1/MCR/diff_result_difft.json
@@ -0,0 +1,32 @@
+{
+    "number_of_changes": 1,
+    "timing": 0.12525177001953125,
+    "diff_chunks": [
+        [
+            {
+                "lhs": {
+                    "line_number": 17,
+                    "changes": [
+                        {
+                            "start": 26,
+                            "end": 35,
+                            "content": "keccak256",
+                            "highlight": "normal"
+                        }
+                    ]
+                },
+                "rhs": {
+                    "line_number": 17,
+                    "changes": [
+                        {
+                            "start": 26,
+                            "end": 32,
+                            "content": "sha256",
+                            "highlight": "normal"
+                        }
+                    ]
+                }
+            }
+        ]
+    ]
+}
\ No newline at end of file