From b5d016c80992ec243be0452e9085f36f82c3534b Mon Sep 17 00:00:00 2001
From: Mojtaba Eshghie <eshghie@kth.se>
Date: Wed, 4 Sep 2024 14:35:21 +0200
Subject: [PATCH] #5 Batch 1

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

diff --git a/results/contracts/mutants/DutchSaleMockUtils/1/SLR/diff_result_GT.json b/results/contracts/mutants/DutchSaleMockUtils/1/SLR/diff_result_GT.json
new file mode 100644
index 00000000000..74f0be818af
--- /dev/null
+++ b/results/contracts/mutants/DutchSaleMockUtils/1/SLR/diff_result_GT.json
@@ -0,0 +1,5 @@
+{
+    "number_of_edits": 1,
+    "timing": 6.1288743019104,
+    "edit_script": "<actions>\n  <update-node tree=\"string: 'transfer(address,uint256)' [634,661]\" label=\"&quot;&quot;\" />\n</actions>\n"
+}
\ No newline at end of file
diff --git a/results/contracts/mutants/DutchSaleMockUtils/1/SLR/diff_result_difft.json b/results/contracts/mutants/DutchSaleMockUtils/1/SLR/diff_result_difft.json
new file mode 100644
index 00000000000..b0f7c49cd0c
--- /dev/null
+++ b/results/contracts/mutants/DutchSaleMockUtils/1/SLR/diff_result_difft.json
@@ -0,0 +1,32 @@
+{
+    "number_of_changes": 1,
+    "timing": 0.03674602508544922,
+    "diff_chunks": [
+        [
+            {
+                "lhs": {
+                    "line_number": 17,
+                    "changes": [
+                        {
+                            "start": 36,
+                            "end": 63,
+                            "content": "'transfer(address,uint256)'",
+                            "highlight": "string"
+                        }
+                    ]
+                },
+                "rhs": {
+                    "line_number": 17,
+                    "changes": [
+                        {
+                            "start": 36,
+                            "end": 38,
+                            "content": "\"\"",
+                            "highlight": "string"
+                        }
+                    ]
+                }
+            }
+        ]
+    ]
+}
\ No newline at end of file