{ "experiment": "ci-run", "generated_at": "2026-05-03 16:58 UTC", "workload_docs": { "split": [ { "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "tasks": [ { "property": "DropFinalBlankEmptyList", "witnesses": [ { "test_fn": "witness_drop_final_blank_empty_list_case_empty", "note": "split (dropFinalBlank . dropInitBlank $ oneOf \"x\") \"\" must not crash" }, { "test_fn": "witness_drop_final_blank_empty_list_case_single_delim", "note": "split (dropFinalBlank . dropInitBlank $ oneOf \"x\") \"x\" must not crash" } ] } ], "source": { "repo": "https://github.com/byorgey/split", "commits": [ "6da4473ce648485317c613b84c8a327a796f8496" ], "commit_subjects": [ "Internals.hs: fix empty list bug with dropFinalBlank" ], "origin": "internal", "summary": "Pre-fix `dropFinal` was `dropFinal DropBlank l | Text [] <- last l = init l; dropFinal _ l = l`. Calling it with an empty `SplitList` (which happens whenever the input becomes empty after `dropInitial`, e.g. for `split (dropFinalBlank . dropInitBlank $ oneOf x) \"\"`) crashes with `Prelude.last: empty list`. The fix added a `dropFinal _ [] = []` guard. A later refactor (cbc3c5f, space leak) rewrote `dropFinal` to use a recursive helper and independently handles the empty case via `dropFinal' [] = []`; the synthesized patch reverts both safety nets to recreate the historical crash on modern HEAD." }, "injection": { "kind": "patch", "files": [ "src/Data/List/Split/Internals.hs" ], "locations": [ { "file": "src/Data/List/Split/Internals.hs", "line": 247, "symbol": "dropFinal" } ], "patch": "patches/drop_final_blank_empty_list_6da4473_1.patch" }, "bug": { "short_name": "drop_final_blank_crashes_on_empty_input", "invariant": "`split (dropFinalBlank . dropInitBlank $ oneOf delims) input` must not crash and must return at most `length input + 1` chunks for any non-empty `delims` and any `input`.", "how_triggered": "Reverse-applying the patch swaps the modern guarded helper for the historical `last/init` formulation. Calling the splitter with `input = \"\"` (or any input that reduces to `[]` after `dropInitial`) then evaluates `last []`, which raises `Prelude.last: empty list`." } }, { "mutations": [ "unintercalate_inverse_82edf4e_1" ], "tasks": [ { "property": "UnintercalateIsInverseOfIntercalate", "witnesses": [ { "test_fn": "witness_unintercalate_is_inverse_of_intercalate_case_trailing_delim", "note": "intercalate \"x\" (unintercalate \"x\" \"ax\") must equal \"ax\"" }, { "test_fn": "witness_unintercalate_is_inverse_of_intercalate_case_abx", "note": "intercalate \"x\" (unintercalate \"x\" \"abx\") must equal \"abx\"" } ] } ], "source": { "repo": "https://github.com/byorgey/split", "commits": [ "82edf4e8af6b20f43567e7448ce106470d3ec015" ], "commit_subjects": [ "fix properties for unintercalate, add properties for splitEvery" ], "origin": "internal", "summary": "Pre-fix `unintercalate = endBy`. `endBy` strips the trailing empty chunk that follows a final delimiter, so the inverse property `intercalate x . unintercalate x = id` fails for any input ending in the delimiter (e.g. `unintercalate \"x\" \"ax\"` returned `[\"a\"]` instead of `[\"a\",\"\"]`). The fix swapped to `sepBy` (the modern `splitOn`); the patch reverts to the historical `endBy` form." }, "injection": { "kind": "patch", "files": [ "src/Data/List/Split/Internals.hs" ], "locations": [ { "file": "src/Data/List/Split/Internals.hs", "line": 532, "symbol": "unintercalate" } ], "patch": "patches/unintercalate_inverse_82edf4e_1.patch" }, "bug": { "short_name": "unintercalate_endBy_loses_trailing_chunk", "invariant": "`intercalate delim (unintercalate delim input) == input` for every non-empty `delim` and arbitrary `input`.", "how_triggered": "Reverse-applying the patch reassigns `unintercalate = endBy`. For any input ending in the delimiter (e.g. `\"ax\"` with `\"x\"`) the recovered list omits the trailing empty chunk, so `intercalate` does not reproduce the original input." } } ] }, "metrics": [ { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:44.125332397+00:00", "status": "failed", "tests": 5, "discards": 0, "time": "252us", "error": null, "tool": "quickcheck", "counterexample": "DropFinalBlankArgs {dfbDelims = \"xx\", dfbInput = \"\"}Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:44.249483621+00:00", "status": "failed", "tests": 5, "discards": 0, "time": "233us", "error": null, "tool": "quickcheck", "counterexample": "DropFinalBlankArgs {dfbDelims = \"x\", dfbInput = \"\"}Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:44.374240860+00:00", "status": "failed", "tests": 8, "discards": 0, "time": "252us", "error": null, "tool": "quickcheck", "counterexample": "DropFinalBlankArgs {dfbDelims = \"y\", dfbInput = \"\"}Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:44.498796755+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "201us", "error": null, "tool": "quickcheck", "counterexample": "DropFinalBlankArgs {dfbDelims = \"xy\", dfbInput = \"\"}Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:44.623404106+00:00", "status": "failed", "tests": 9, "discards": 0, "time": "257us", "error": null, "tool": "quickcheck", "counterexample": "DropFinalBlankArgs {dfbDelims = \"y\", dfbInput = \"\"}Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:44.747999761+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "236us", "error": null, "tool": "quickcheck", "counterexample": "DropFinalBlankArgs {dfbDelims = \"yx\", dfbInput = \"\"}Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:44.872586882+00:00", "status": "failed", "tests": 5, "discards": 0, "time": "249us", "error": null, "tool": "quickcheck", "counterexample": "DropFinalBlankArgs {dfbDelims = \"yx\", dfbInput = \"\"}Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:44.997284829+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "225us", "error": null, "tool": "quickcheck", "counterexample": "DropFinalBlankArgs {dfbDelims = \"y\", dfbInput = \"\"}Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:45.121858551+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "221us", "error": null, "tool": "quickcheck", "counterexample": "DropFinalBlankArgs {dfbDelims = \"yx\", dfbInput = \"\"}Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:45.246937960+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "215us", "error": null, "tool": "quickcheck", "counterexample": "DropFinalBlankArgs {dfbDelims = \"y\", dfbInput = \"\"}Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:45.371669357+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1175us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:45.497005682+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1162us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:45.611499576+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1184us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:45.736019857+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1152us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:45.860631886+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1235us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:45.985177245+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1199us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:46.109754301+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1224us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:46.234290326+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1170us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:46.358856275+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1194us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:46.483445019+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "1169us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:46.608187824+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "105us", "error": null, "tool": "falsify", "counterexample": "DropFinalBlankArgs {dfbDelims = \"x\", dfbInput = \"\"}: Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:46.732768275+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "218us", "error": null, "tool": "falsify", "counterexample": "DropFinalBlankArgs {dfbDelims = \"x\", dfbInput = \"\"}: Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:46.857296228+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "378us", "error": null, "tool": "falsify", "counterexample": "DropFinalBlankArgs {dfbDelims = \"x\", dfbInput = \"\"}: Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:46.981913074+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "339us", "error": null, "tool": "falsify", "counterexample": "DropFinalBlankArgs {dfbDelims = \"x\", dfbInput = \"\"}: Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:47.106473785+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "126us", "error": null, "tool": "falsify", "counterexample": "DropFinalBlankArgs {dfbDelims = \"x\", dfbInput = \"\"}: Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:47.231066365+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "205us", "error": null, "tool": "falsify", "counterexample": "DropFinalBlankArgs {dfbDelims = \"x\", dfbInput = \"\"}: Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:47.355556841+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "309us", "error": null, "tool": "falsify", "counterexample": "DropFinalBlankArgs {dfbDelims = \"x\", dfbInput = \"\"}: Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:47.480137293+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "157us", "error": null, "tool": "falsify", "counterexample": "DropFinalBlankArgs {dfbDelims = \"x\", dfbInput = \"\"}: Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:47.604994659+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "106us", "error": null, "tool": "falsify", "counterexample": "DropFinalBlankArgs {dfbDelims = \"x\", dfbInput = \"\"}: Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:47.729845475+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "145us", "error": null, "tool": "falsify", "counterexample": "DropFinalBlankArgs {dfbDelims = \"x\", dfbInput = \"\"}: Prelude.last: empty list\nCallStack (from HasCallStack):\n error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List\n errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List\n lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List\n last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:47.854555391+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "53us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"DropFinalBlankArgs {dfbDelims = \\\"x\\\", dfbInput = \\\"\\\"}\"] (PropertyFalse Nothing)", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:47.979082692+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "52us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"DropFinalBlankArgs {dfbDelims = \\\"x\\\", dfbInput = \\\"\\\"}\"] (PropertyFalse Nothing)", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:48.103635903+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "64us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"DropFinalBlankArgs {dfbDelims = \\\"x\\\", dfbInput = \\\"\\\"}\"] (PropertyFalse Nothing)", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:48.228197115+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "53us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"DropFinalBlankArgs {dfbDelims = \\\"x\\\", dfbInput = \\\"\\\"}\"] (PropertyFalse Nothing)", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:48.352772279+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "54us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"DropFinalBlankArgs {dfbDelims = \\\"x\\\", dfbInput = \\\"\\\"}\"] (PropertyFalse Nothing)", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:48.477401543+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "52us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"DropFinalBlankArgs {dfbDelims = \\\"x\\\", dfbInput = \\\"\\\"}\"] (PropertyFalse Nothing)", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:48.602306751+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "53us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"DropFinalBlankArgs {dfbDelims = \\\"x\\\", dfbInput = \\\"\\\"}\"] (PropertyFalse Nothing)", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:48.726981534+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "53us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"DropFinalBlankArgs {dfbDelims = \\\"x\\\", dfbInput = \\\"\\\"}\"] (PropertyFalse Nothing)", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:48.851551449+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "55us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"DropFinalBlankArgs {dfbDelims = \\\"x\\\", dfbInput = \\\"\\\"}\"] (PropertyFalse Nothing)", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "DropFinalBlankEmptyList", "mutations": [ "drop_final_blank_empty_list_6da4473_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:48.977328995+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "58us", "error": null, "tool": "smallcheck", "counterexample": "CounterExample [\"DropFinalBlankArgs {dfbDelims = \\\"x\\\", dfbInput = \\\"\\\"}\"] (PropertyFalse Nothing)", "hash": "3b3bee627a38c3972399ee12fee73bd09bec16cc" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.222068586+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1107us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.346615995+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1112us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.461078770+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1146us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.585684056+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1128us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.710631054+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1143us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.835261347+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1163us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:53.960049658+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1191us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.084571929+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1131us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.209062372+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1099us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "quickcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.333823241+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "1121us", "error": null, "tool": "quickcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.458806544+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4135us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.583294013+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4181us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.707932328+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4153us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.832480499+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4104us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:54.957079816+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4130us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.081802437+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4050us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.206418039+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4071us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.331267470+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4121us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.455868750+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4117us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "hedgehog", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.580568618+00:00", "status": "passed", "tests": 200, "discards": 0, "time": "4079us", "error": null, "tool": "hedgehog", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.705526222+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2505us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.819837370+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2487us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:55.934157702+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2455us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.048437172+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2393us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.162692316+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2340us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.277575862+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2312us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.392256394+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2451us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.506438749+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2375us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.620641745+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2606us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "falsify", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.734950119+00:00", "status": "passed", "tests": 100, "discards": 0, "time": "2283us", "error": null, "tool": "falsify", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.849597991+00:00", "status": "passed", "tests": 186, "discards": 0, "time": "666us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-05-03T16:58:56.974202887+00:00", "status": "passed", "tests": 186, "discards": 0, "time": "667us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-05-03T16:58:57.088873333+00:00", "status": "passed", "tests": 186, "discards": 0, "time": "672us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-05-03T16:58:57.213507122+00:00", "status": "passed", "tests": 186, "discards": 0, "time": "655us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-05-03T16:58:57.328169326+00:00", "status": "passed", "tests": 186, "discards": 0, "time": "626us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-05-03T16:58:57.452825628+00:00", "status": "passed", "tests": 186, "discards": 0, "time": "663us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-05-03T16:58:57.577397474+00:00", "status": "passed", "tests": 186, "discards": 0, "time": "670us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-05-03T16:58:57.692100930+00:00", "status": "passed", "tests": 186, "discards": 0, "time": "648us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-05-03T16:58:57.816637443+00:00", "status": "passed", "tests": 186, "discards": 0, "time": "664us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" }, { "experiment": "ci-run", "workload": "split", "language": "haskell", "strategy": "smallcheck", "property": "UnintercalateIsInverseOfIntercalate", "mutations": [ "unintercalate_inverse_82edf4e_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-05-03T16:58:57.931205306+00:00", "status": "passed", "tests": 186, "discards": 0, "time": "676us", "error": null, "tool": "smallcheck", "counterexample": null, "hash": "ae808b28eb5952dbc3508128632f9a0d95add57c" } ] }