{ "experiment": "ci-run", "generated_at": "2026-04-30 19:41 UTC", "workload_docs": { "tinyvec": [ { "mutations": [ "debug_alternate_empty_a711c72_1" ], "tasks": [ { "property": "ArrayvecDebugMatchesSlice", "witnesses": [ { "test_fn": "witness_arrayvec_debug_matches_slice_case_empty" }, { "test_fn": "witness_arrayvec_debug_matches_slice_case_three_elements" } ] } ], "source": { "repo": "https://github.com/Lokathor/tinyvec", "commits": [ "a711c72eef6d555ebc7bbbe78bf5039e72f790ac" ], "commit_subjects": [ "fix `Debug` alternate mode for empty containers (#162)" ], "prs": [ 162 ], "summary": "`println!(\"{:#?}\", tiny_vec!([u8; 16]))` was printing `[\\n ,\\n]` instead of `[]`. The manual Debug impl unconditionally emitted separator/newline tokens regardless of length." }, "injection": { "kind": "marauders", "files": [ "src/arrayvec.rs" ], "locations": [ { "file": "src/arrayvec.rs", "line": 1839, "symbol": "impl Debug for ArrayVec" } ] }, "bug": { "short_name": "debug_alternate_empty", "invariant": "`format!(\"{:#?}\", av)` must match `format!(\"{:#?}\", av.as_slice())` — `ArrayVec`'s `Debug` impl must agree with the underlying slice in both plain and alternate modes, regardless of content.\n", "how_triggered": "the fix replaced the manual impl with `<[A::Item] as Debug>::fmt(self.as_slice(), f)`. The mutation reinstates the pre-a711c72 manual impl which unconditionally emits a leading `\"\\n \"` and a trailing `\",\\n\"` in alternate mode. On an empty vec this produces `\"[\\n ,\\n]\"` instead of the slice's `\"[]\"`, and on a populated vec the comma/newline layout differs from `[T]`'s default. `case_empty` exposes the stray comma; `case_three_elements` exposes the layout mismatch for non-empty input.\n" } }, { "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "tasks": [ { "property": "RemovePastEndPanics", "witnesses": [ { "test_fn": "witness_remove_past_end_panics_case_single_element" }, { "test_fn": "witness_remove_past_end_panics_case_three_elements" } ] } ], "source": { "repo": "https://github.com/Lokathor/tinyvec", "commits": [ "fd3c92c35109a4b025738fe71bb0fd739c3d6002" ], "commit_subjects": [ "Test and fix removal at past-the-end index" ], "prs": [ 29 ], "issues": [ 28 ], "summary": "`ArrayVec::remove(len)` silently decremented `len` and returned a default-constructed item instead of panicking, diverging from `Vec::remove`'s contract." }, "injection": { "kind": "marauders", "files": [ "src/arrayvec.rs" ], "locations": [ { "file": "src/arrayvec.rs", "line": 818, "symbol": "ArrayVec::remove" } ] }, "bug": { "short_name": "remove_past_end_silent", "invariant": "`ArrayVec::remove(index)` must panic when `index >= self.len()`, matching the `Vec::remove` contract. Silently returning a default-constructed item — and decrementing `self.len` — is both data-loss and a length-invariant violation.", "how_triggered": "the pre-fd3c92c body iterates `targets[index..].iter_mut().rev()` and returns the final `spare`. When `index == self.len()`, `targets` is empty, the iteration is a no-op, and `spare` stays `A::Item::default()`; the function then decrements `self.len` and returns the default. The fix reads `targets[0]` unconditionally, which panics on the empty slice. `case_single_element` (`remove(1)` on `[42]`) and `case_three_elements` (`remove(3)` on `[1,2,3]`) both hit `index == len` exactly." } }, { "mutations": [ "swap_remove_last_71ad62a_1" ], "tasks": [ { "property": "SwapRemoveLastReturnsTail", "witnesses": [ { "test_fn": "witness_swap_remove_last_returns_tail_case_single" }, { "test_fn": "witness_swap_remove_last_returns_tail_case_four_elements" } ] } ], "source": { "repo": "https://github.com/Lokathor/tinyvec", "commits": [ "71ad62a90f2ff95dae4e43d646a55b0329b1eedc" ], "commit_subjects": [ "Fix ArrayishVec::swap_remove for last element" ], "prs": [ 15 ], "summary": "`swap_remove(len - 1)` panicked because the implementation popped first (shrinking the vec) then indexed `self[index]`, which is now out of range. Fixed by short-circuiting on the tail-index case." }, "injection": { "kind": "marauders", "files": [ "src/arrayvec.rs" ], "locations": [ { "file": "src/arrayvec.rs", "line": 1168, "symbol": "ArrayVec::swap_remove" } ] }, "bug": { "short_name": "swap_remove_last", "invariant": "`swap_remove(len - 1)` must return the tail element without panicking, matching the `Vec::swap_remove` contract. Panicking on a valid in-range index is both a safety-contract violation and a correctness regression.", "how_triggered": "the pre-71ad62a body unconditionally runs `let i = self.pop().unwrap(); replace(&mut self[index], i)`. When `index == len - 1`, the `pop` call shrinks the vec to `len - 1`, and `self[index]` then indexes the (now out-of-range) final slot, triggering the slice-index panic. The fix short-circuits: when `index == len - 1`, just `pop().unwrap()`. `case_single` (`swap_remove(0)` on `[99]`) and `case_four_elements` (`swap_remove(3)` on `[1,2,3,4]`) both land on the tail-index boundary." } }, { "mutations": [ "drain_end_off_by_one_9117614_1" ], "tasks": [ { "property": "DrainMatchesSliceRange", "witnesses": [ { "test_fn": "witness_drain_matches_slice_range_case_exclusive_middle" }, { "test_fn": "witness_drain_matches_slice_range_case_full_range" } ] } ], "source": { "repo": "https://github.com/Lokathor/tinyvec", "commits": [ "9117614aa9d527a122dff8828e56c17d247e3f5a" ], "commit_subjects": [ "Fix ArrayishVec::drain implementation" ], "prs": [ 14 ], "summary": "Model-based fuzzing against `Vec` found an underflow while calculating the end index for `drain`; the `Bound::Included`/`Bound::Excluded` mappings were swapped, so half-open `a..b` drained `a..b-1` and inclusive `a..=b` drained `a..b`." }, "injection": { "kind": "marauders", "files": [ "src/arrayvec_drain.rs" ], "locations": [ { "file": "src/arrayvec_drain.rs", "line": 26, "symbol": "ArrayVecDrain::new" } ] }, "bug": { "short_name": "drain_end_off_by_one", "invariant": "`av.drain(a..b).collect::>()` must equal `items[a..b].to_vec()` (and the remaining vec must equal `items[..a] ++ items[b..]`), matching `Vec::drain`'s semantics for both half-open and inclusive ranges.", "how_triggered": "the pre-9117614 end-bound mapping was swapped: `Bound::Included(x) => *x` (should be `x + 1`) and `Bound::Excluded(x) => x - 1` (should be `*x`). Half-open `a..b` then drains `a..b-1`, and inclusive `a..=b` drains `a..b` instead of `a..=b`. `case_exclusive_middle` (`drain(1..3)` on `[1..=5]`) exposes the half-open bug by missing the element at index 2; `case_full_range` (`drain(0..3)` on `[10,20,30]`) exposes the same mapping by drop-losing the final element." } } ] }, "metrics": [ { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.196545397+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "128us", "error": null, "tool": "proptest", "counterexample": "([4, -1763721743])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.197999448+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "117us", "error": null, "tool": "proptest", "counterexample": "([-6, -1424640417])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.199206083+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "104us", "error": null, "tool": "proptest", "counterexample": "([-49, 1438524192])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.200329787+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "104us", "error": null, "tool": "proptest", "counterexample": "([0, 376428252])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.201489081+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "101us", "error": null, "tool": "proptest", "counterexample": "([22, -1418015509])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.202655555+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "136us", "error": null, "tool": "proptest", "counterexample": "([-368, -1727608094])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.203796808+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "98us", "error": null, "tool": "proptest", "counterexample": "([10, 1945384050])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.204944356+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "102us", "error": null, "tool": "proptest", "counterexample": "([7, -12413590])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.206072144+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "103us", "error": null, "tool": "proptest", "counterexample": "([-10, 2063488560])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.207243857+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "105us", "error": null, "tool": "proptest", "counterexample": "([-47, -548073248])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.208493622+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "25us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0, 0, 0, 0, 0])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.209535404+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "22us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.210597659+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "26us", "error": null, "tool": "quickcheck", "counterexample": "([0, -2147483648, 0, 0, 0])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.211677933+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "50us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0, 0, 0])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.212735770+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "17us", "error": null, "tool": "quickcheck", "counterexample": "([])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.213781078+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "17us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0, 0, 0, 0])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.214819740+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "18us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0, 0, 0])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.215860280+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "22us", "error": null, "tool": "quickcheck", "counterexample": "([2147483647, 0, 0, 0])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.216886899+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "26us", "error": null, "tool": "quickcheck", "counterexample": "([1, -1, -1, 1])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.217939460+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "20us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0, 0])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.219067659+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "26us", "error": null, "tool": "crabcheck", "counterexample": "([1179377731, 1979068834, -1839788317, 1406570359, 423524987])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.220111354+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "20us", "error": null, "tool": "crabcheck", "counterexample": "([-1688444106, 420216400, -496500196])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.221145768+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "21us", "error": null, "tool": "crabcheck", "counterexample": "([-930416295, 432329236, -228659977, -453801680, -989437167])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.222197167+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "25us", "error": null, "tool": "crabcheck", "counterexample": "([257472516, 1448592700, -430805633])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.223237462+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "25us", "error": null, "tool": "crabcheck", "counterexample": "([1117988370, 1834022620, -1372928718, -1227056679])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.224254378+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "26us", "error": null, "tool": "crabcheck", "counterexample": "([-839769577, 2113332973, 1501621091, -665392669, -1493234309, 468651472, 1694140534])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.225291907+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "20us", "error": null, "tool": "crabcheck", "counterexample": "([-648886065, -1671402433, 48218900, -596286088])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.226311227+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "27us", "error": null, "tool": "crabcheck", "counterexample": "([-624146707, -141384723, 1583708443, 1609292664, 1300217465, 1673362275])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.227369605+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "20us", "error": null, "tool": "crabcheck", "counterexample": "([2130571903, -1073882916, -208469244, -416632631])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.228368708+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "28us", "error": null, "tool": "crabcheck", "counterexample": "([-445364684, -1522431154, 1160487005, 1171563933, 436701787, 1348212379, -282067347])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:40:57.229631076+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "996525us", "error": null, "tool": "hegel", "counterexample": "([])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:40:58.227357839+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "185406us", "error": null, "tool": "hegel", "counterexample": "([])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:40:58.414212007+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "184661us", "error": null, "tool": "hegel", "counterexample": "([])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:40:58.600231125+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "187013us", "error": null, "tool": "hegel", "counterexample": "([])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:40:58.788676574+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "187015us", "error": null, "tool": "hegel", "counterexample": "([])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:40:58.977154225+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "186923us", "error": null, "tool": "hegel", "counterexample": "([])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:40:59.165602308+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "192047us", "error": null, "tool": "hegel", "counterexample": "([])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:40:59.359081404+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "191872us", "error": null, "tool": "hegel", "counterexample": "([])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:40:59.552401688+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "190189us", "error": null, "tool": "hegel", "counterexample": "([])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "ArrayvecDebugMatchesSlice", "mutations": [ "debug_alternate_empty_a711c72_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:40:59.744153136+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "188949us", "error": null, "tool": "hegel", "counterexample": "([])", "hash": "e6d52bccff86827bb08c81233a8d3c12c0e3b085" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.297751704+00:00", "status": "failed", "tests": 34, "discards": 0, "time": "95us", "error": null, "tool": "proptest", "counterexample": "([1])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.299117298+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "86us", "error": null, "tool": "proptest", "counterexample": "([47])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.300293065+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "84us", "error": null, "tool": "proptest", "counterexample": "([-17])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.301449010+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "85us", "error": null, "tool": "proptest", "counterexample": "([-1])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.302588980+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "81us", "error": null, "tool": "proptest", "counterexample": "([216])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.303689892+00:00", "status": "failed", "tests": 35, "discards": 0, "time": "149us", "error": null, "tool": "proptest", "counterexample": "([-3])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.304832767+00:00", "status": "failed", "tests": 30, "discards": 0, "time": "64us", "error": null, "tool": "proptest", "counterexample": "([0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.305942645+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "63us", "error": null, "tool": "proptest", "counterexample": "([0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.307028219+00:00", "status": "failed", "tests": 34, "discards": 0, "time": "111us", "error": null, "tool": "proptest", "counterexample": "([-4])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.308410620+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "74us", "error": null, "tool": "proptest", "counterexample": "([-1])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.309805781+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "21us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.310875019+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "15us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0, 0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.311934043+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "19us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0, -2147483648, 0, 0, 0, 0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.312964278+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "19us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0, 0, 0, 0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.313993758+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "20us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0, 0, 0, 0, 0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.315031036+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "16us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0, 0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.316088999+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "16us", "error": null, "tool": "quickcheck", "counterexample": "([0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.317123111+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "18us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.318185291+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "16us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.319207873+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "16us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0, 0, 0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.320598575+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "23us", "error": null, "tool": "crabcheck", "counterexample": "([-246299191, -873443671, 72393934])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.321609414+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "22us", "error": null, "tool": "crabcheck", "counterexample": "([-1274500599, -2088089906, 665433406, -409772258])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.322650765+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "20us", "error": null, "tool": "crabcheck", "counterexample": "([1852680344])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.323673587+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "24us", "error": null, "tool": "crabcheck", "counterexample": "([-1712949471, -1061217311, -2143559818])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.324695643+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "19us", "error": null, "tool": "crabcheck", "counterexample": "([-238797793])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.325748119+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "19us", "error": null, "tool": "crabcheck", "counterexample": "([458002681, -1589021604, 1294716762, 1027863937, 641466067, 431076655, 846617056, -1506465853])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.326761148+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "24us", "error": null, "tool": "crabcheck", "counterexample": "([193585497, 1499255850, 582237763, 878590761, 942397517, -1095416286, 1065870968, 430403865])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.327796383+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "23us", "error": null, "tool": "crabcheck", "counterexample": "([-878932927, 622253696, -880511510, 1730034941, 633845663, -1778283573, 840036450, 43830505])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.328821544+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "21us", "error": null, "tool": "crabcheck", "counterexample": "([-1685779304, 172250994, 1392175051, 1677099218, -285000863, 2013257588])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.329843765+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "22us", "error": null, "tool": "crabcheck", "counterexample": "([1434181607, -1729320654, 1346067558, -1586275486, 164875307])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.331294939+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "206871us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.539396313+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "206465us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.747526340+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "205856us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:03.955031952+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "206510us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:04.163076768+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "203958us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:04.368745545+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "205405us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:04.575635783+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "203967us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:04.781092566+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "205774us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:04.988510322+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "202141us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "RemovePastEndPanics", "mutations": [ "remove_past_end_silent_fd3c92c_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:05.192133921+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "207548us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "83f602f46de188f64141933e9dc562d70503b829" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.799968014+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "190us", "error": null, "tool": "proptest", "counterexample": "([0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.801492653+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "228us", "error": null, "tool": "proptest", "counterexample": "([-1])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.802839270+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "193us", "error": null, "tool": "proptest", "counterexample": "([-118])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.804138258+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "193us", "error": null, "tool": "proptest", "counterexample": "([0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.805400688+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "217us", "error": null, "tool": "proptest", "counterexample": "([2])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.806717300+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "188us", "error": null, "tool": "proptest", "counterexample": "([76])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.808144206+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "196us", "error": null, "tool": "proptest", "counterexample": "([-12])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.809364030+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "200us", "error": null, "tool": "proptest", "counterexample": "([-36])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.810623752+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "230us", "error": null, "tool": "proptest", "counterexample": "([145])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.811853976+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "193us", "error": null, "tool": "proptest", "counterexample": "([2])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.813548648+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "39us", "error": null, "tool": "quickcheck", "counterexample": "([0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.814637147+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "36us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0, 0, 0, 0, 0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.815678143+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "39us", "error": null, "tool": "quickcheck", "counterexample": "([-2147483648, 0, 0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.816727319+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "39us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.817770158+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "34us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0, 0, 0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.818814625+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "40us", "error": null, "tool": "quickcheck", "counterexample": "([0, 2147483647, 0, 0, 0, 0, 0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.819860580+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "31us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.820896902+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "43us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0, 0, 0, 0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.822018137+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "32us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.823047997+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "39us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0, 0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.824704077+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "42us", "error": null, "tool": "crabcheck", "counterexample": "([-68135048, -575085647, -1741691508, -821227203, 31504067, -878049118])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.825769754+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "36us", "error": null, "tool": "crabcheck", "counterexample": "([-889957644, 1505371583, -574049251, 250483390, -1358563043, -1320564609])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.826808936+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "39us", "error": null, "tool": "crabcheck", "counterexample": "([-831016064, -1504757560])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.827842573+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "38us", "error": null, "tool": "crabcheck", "counterexample": "([351383615, 700431350])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.828881996+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "38us", "error": null, "tool": "crabcheck", "counterexample": "([-387178340, -1485905322, -1934119880])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.829958603+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "36us", "error": null, "tool": "crabcheck", "counterexample": "([735050134, 1435417223, -1605473815, 1222410913, -1991263653, 1835489237])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.830998586+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "38us", "error": null, "tool": "crabcheck", "counterexample": "([-32872898, -2084578815])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.832040679+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "41us", "error": null, "tool": "crabcheck", "counterexample": "([-1825699351, 143504660, 1930103603, -28605526, -1276366454, -1243216734, 543557375, -46142435])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.833133632+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "44us", "error": null, "tool": "crabcheck", "counterexample": "([1099842346, -2021493137, 1345903840, -354970179])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.834162229+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "43us", "error": null, "tool": "crabcheck", "counterexample": "([-1980388280, -271343767, 674885971])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:08.835885124+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "202920us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:09.040076962+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "208303us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:09.249859554+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "209560us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:09.461087239+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "209249us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:09.671896153+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "210588us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:09.884072446+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "203394us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:10.089156911+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "208349us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:10.299205009+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "202782us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:10.503490516+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "201112us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "SwapRemoveLastReturnsTail", "mutations": [ "swap_remove_last_71ad62a_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:10.706355099+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "207329us", "error": null, "tool": "hegel", "counterexample": "([0])", "hash": "646c1ad3aa1b760145fa479779d0d2541bc76362" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.303850497+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "118us", "error": null, "tool": "proptest", "counterexample": "([482, -95624179, -1879663365, 1301025090, -1955841831, 43632558] 170 228)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.305270243+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "96us", "error": null, "tool": "proptest", "counterexample": "([6] 248 13)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.306500431+00:00", "status": "failed", "tests": 35, "discards": 0, "time": "96us", "error": null, "tool": "proptest", "counterexample": "([-195, -589843251, -784127250, -919072565] 30 68)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.307830257+00:00", "status": "failed", "tests": 34, "discards": 0, "time": "82us", "error": null, "tool": "proptest", "counterexample": "([1] 212 219)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.309029557+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "90us", "error": null, "tool": "proptest", "counterexample": "([22, -361782688, 1965219701] 101 243)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.310209477+00:00", "status": "failed", "tests": 34, "discards": 0, "time": "232us", "error": null, "tool": "proptest", "counterexample": "([-11, 1338995015] 56 194)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.311506619+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "96us", "error": null, "tool": "proptest", "counterexample": "([-14601, -787186488, 1088933655, 1086330883, 1190874867, 1640470245, -1156559930, 925171364] 182 232)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.312627428+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "291us", "error": null, "tool": "proptest", "counterexample": "([-60] 93 103)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.313931143+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "245us", "error": null, "tool": "proptest", "counterexample": "([1] 171 13)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "proptest", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.315337313+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "403us", "error": null, "tool": "proptest", "counterexample": "([-6] 205 229)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.317739336+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "46us", "error": null, "tool": "quickcheck", "counterexample": "([-2147483648, 0, 0, 0, 0, 0] 114 186)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.318850873+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "50us", "error": null, "tool": "quickcheck", "counterexample": "([0, 1, 0, 0, 0, 0] 229 200)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.319925396+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "24us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0, 0, 0, 0, 0, 0] 147 60)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.320997910+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "19us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0, 0] 253 33)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.322038710+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "23us", "error": null, "tool": "quickcheck", "counterexample": "([-1, 0, 1, -1, 0, 0, 1, -1] 182 194)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.323089525+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "18us", "error": null, "tool": "quickcheck", "counterexample": "([0] 250 7)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.324139802+00:00", "status": "failed", "tests": 4, "discards": 0, "time": "27us", "error": null, "tool": "quickcheck", "counterexample": "([-1, -1, 1] 224 137)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.325177021+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "21us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 0, 0, 0, 0] 102 208)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.326272383+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "22us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, 1, 0, 1, 0, 0, 0] 56 197)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "quickcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.327291658+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "16us", "error": null, "tool": "quickcheck", "counterexample": "([0, 0, -2147483648, 0, 0] 218 141)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.328948746+00:00", "status": "failed", "tests": 4, "discards": 0, "time": "25us", "error": null, "tool": "crabcheck", "counterexample": "([-1537468149, 1134301724] 117 50)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.329990443+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "25us", "error": null, "tool": "crabcheck", "counterexample": "([-1356481570, 1128866433, 1025642481] 12 70)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.331017186+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "28us", "error": null, "tool": "crabcheck", "counterexample": "([-1134054210, -1447200105, -1182570464] 90 251)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.332066287+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "22us", "error": null, "tool": "crabcheck", "counterexample": "([1136910334, 1982577692, -2055938450, -1726764157, 682548363] 231 40)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.333088212+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "22us", "error": null, "tool": "crabcheck", "counterexample": "([1057051231] 190 97)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.334179191+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "50us", "error": null, "tool": "crabcheck", "counterexample": "([1159837818, 686881388, -1581677926, 2111334169, -637869180] 2 176)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.335242433+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "28us", "error": null, "tool": "crabcheck", "counterexample": "([-623324247, 598972524, 667568280, -1309051322, 1740241127, -1292100447, 24945798] 206 249)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.336325237+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "43us", "error": null, "tool": "crabcheck", "counterexample": "([2087269713, -1730651543, -1704904670, 857977780] 242 17)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.337366678+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "42us", "error": null, "tool": "crabcheck", "counterexample": "([1045659424, 2060228165, 620442083] 89 49)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "crabcheck", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.338420408+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "23us", "error": null, "tool": "crabcheck", "counterexample": "([249014446] 42 51)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.340203881+00:00", "status": "failed", "tests": 32, "discards": 0, "time": "215630us", "error": null, "tool": "hegel", "counterexample": "([0] 0 1)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.557144872+00:00", "status": "failed", "tests": 32, "discards": 0, "time": "216493us", "error": null, "tool": "hegel", "counterexample": "([0] 0 1)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.775041860+00:00", "status": "failed", "tests": 32, "discards": 0, "time": "218113us", "error": null, "tool": "hegel", "counterexample": "([0] 0 1)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:41:14.994676499+00:00", "status": "failed", "tests": 32, "discards": 0, "time": "218568us", "error": null, "tool": "hegel", "counterexample": "([0] 0 1)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:41:15.214772617+00:00", "status": "failed", "tests": 32, "discards": 0, "time": "220062us", "error": null, "tool": "hegel", "counterexample": "([0] 0 1)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:41:15.436483557+00:00", "status": "failed", "tests": 32, "discards": 0, "time": "219269us", "error": null, "tool": "hegel", "counterexample": "([0] 0 1)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:41:15.657174043+00:00", "status": "failed", "tests": 32, "discards": 0, "time": "217791us", "error": null, "tool": "hegel", "counterexample": "([0] 0 1)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:41:15.876570887+00:00", "status": "failed", "tests": 32, "discards": 0, "time": "219177us", "error": null, "tool": "hegel", "counterexample": "([0] 0 1)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:41:16.097202043+00:00", "status": "failed", "tests": 32, "discards": 0, "time": "219297us", "error": null, "tool": "hegel", "counterexample": "([0] 0 1)", "hash": "e25489b749932748a06403d926831fa2901f0164" }, { "experiment": "ci-run", "workload": "tinyvec", "language": "rust", "strategy": "hegel", "property": "DrainMatchesSliceRange", "mutations": [ "drain_end_off_by_one_9117614_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:41:16.318135999+00:00", "status": "failed", "tests": 32, "discards": 0, "time": "219504us", "error": null, "tool": "hegel", "counterexample": "([0] 0 1)", "hash": "e25489b749932748a06403d926831fa2901f0164" } ] }