diff --git a/results/contracts/mutants/DutchSaleMockUtils/1/ECS/diff_result_GT.json b/results/contracts/mutants/DutchSaleMockUtils/1/ECS/diff_result_GT.json new file mode 100644 index 00000000000..87fad6fb2d8 --- /dev/null +++ b/results/contracts/mutants/DutchSaleMockUtils/1/ECS/diff_result_GT.json @@ -0,0 +1,5 @@ +{ + "number_of_edits": 1, + "timing": 5.493892431259155, + "edit_script": "\n \n\n" +} \ No newline at end of file diff --git a/results/contracts/mutants/DutchSaleMockUtils/1/ECS/diff_result_difft.json b/results/contracts/mutants/DutchSaleMockUtils/1/ECS/diff_result_difft.json new file mode 100644 index 00000000000..12b3dd04b89 --- /dev/null +++ b/results/contracts/mutants/DutchSaleMockUtils/1/ECS/diff_result_difft.json @@ -0,0 +1,32 @@ +{ + "number_of_changes": 1, + "timing": 0.05325174331665039, + "diff_chunks": [ + [ + { + "lhs": { + "line_number": 17, + "changes": [ + { + "start": 19, + "end": 25, + "content": "bytes4", + "highlight": "normal" + } + ] + }, + "rhs": { + "line_number": 17, + "changes": [ + { + "start": 19, + "end": 25, + "content": "bytes1", + "highlight": "normal" + } + ] + } + } + ] + ] +} \ No newline at end of file