{ "experiment": "ci-run", "generated_at": "2026-04-30 19:43 UTC", "workload_docs": { "smallvec": [ { "mutations": [ "leak_inline_panic_3395246_1" ], "tasks": [ { "property": "LeakInlinePanics", "witnesses": [ { "test_fn": "witness_leak_inline_panics_case_inline_single_byte" } ] } ], "source": { "repo": "https://github.com/servo/rust-smallvec", "commits": [ "339524684344f74ea7e5e05b3b5ae4e5043999f8" ], "commit_subjects": [ "Fix: SmallVec::leak() to panic on inline storage (GHSA-5h7v-3586-wm8c)" ], "summary": "`SmallVec::leak` handed back a `&mut [T]` borrowed from the consumed value's stack storage when the vector was still inline (GHSA-5h7v-3586-wm8c); the fix panics rather than returning a dangling reference." }, "injection": { "kind": "patch", "files": [ "src/lib.rs" ], "locations": [ { "file": "src/lib.rs" } ], "patch": "patches/leak_inline_panic_3395246_1.patch" }, "bug": { "short_name": "leak_inline_panic", "invariant": "`SmallVec::::leak(self)` on an inline (not spilled) vector must panic. Returning a slice that borrows into the consumed stack frame would be unsound — any caller would receive a reference to freed storage.", "how_triggered": "Removes the `if !self.spilled() { panic!(...) }` guard inside `leak`, so inline SmallVecs silently hand out a `&mut [T]` into the about-to-be-dropped stack buffer. The property builds an inline `SmallVec` via `SmallVec::new()` + `push`, runs `leak()` under `catch_unwind`, and reports `Fail` if the call returns `Ok`." } }, { "mutations": [ "append_set_len_1bd2dbc_1" ], "tasks": [ { "property": "AppendPreservesLength", "witnesses": [ { "test_fn": "witness_append_preserves_length_case_small_spilled" } ] } ], "source": { "repo": "https://github.com/servo/rust-smallvec", "commits": [ "1bd2dbce81d9b58214bbbf5de30323017705d5a8" ], "commit_subjects": [ "bugfix for append not set self.len properly (#347)" ], "summary": "`SmallVec::append` copied bytes into the destination buffer but forgot to call `set_len`, so after the call the logical length still reflected the pre-append state and the appended elements were invisible." }, "injection": { "kind": "patch", "files": [ "src/lib.rs" ], "locations": [ { "file": "src/lib.rs" } ], "patch": "patches/append_set_len_1bd2dbc_1.patch" }, "bug": { "short_name": "append_set_len", "invariant": "After `a.append(&mut b)`, `a.len()` equals `a.len() + b.len()` (pre-call) and every element is visible via iteration.", "how_triggered": "Removes the trailing `unsafe { self.set_len(total_len) }` call in `SmallVec::append`, so the copy into the destination buffer happens but the logical length is never bumped. The property computes the expected concatenation length, compares against `va.len()`, and also checks that `va.iter().copied().collect::>()` matches the concat — all three fail because `va.len()` stays at its pre-append value." } }, { "mutations": [ "from_vec_zero_capacity_944f603_1" ], "tasks": [ { "property": "FromVecZeroCapacity", "witnesses": [ { "test_fn": "witness_from_vec_zero_capacity_case_empty_capacity_push_round_trip" } ] } ], "source": { "repo": "https://github.com/servo/rust-smallvec", "commits": [ "944f60397a35043ef5704e9bf76b26cdcb5fc55d" ], "commit_subjects": [ "Correctly handle Vec with zero capacity in from_vec (#332)" ], "summary": "`SmallVec::from_vec` wrapped a zero-capacity `Vec`'s dangling pointer directly into `RawSmallVec::new_heap` and tagged the result as spilled; the fix short-circuits to an empty inline SmallVec to avoid later UB in shrink/deallocate/push." }, "injection": { "kind": "patch", "files": [ "src/lib.rs" ], "locations": [ { "file": "src/lib.rs" } ], "patch": "patches/from_vec_zero_capacity_944f603_1.patch" }, "bug": { "short_name": "from_vec_zero_capacity", "invariant": "`SmallVec::from_vec(Vec::with_capacity(0))` must be inline (non-spilled). A zero-capacity `Vec` holds a dangling but non-null pointer; wrapping that pointer into a heap-tagged SmallVec produces an object that later UBs under `shrink_to_fit`, `deallocate`, or `push`.", "how_triggered": "Removes the `if vec.capacity() == 0 { return Self::new(); }` early return, so `from_vec` forwards a dangling pointer into `RawSmallVec::new_heap` and tags the result as spilled. The property observes `sv.spilled() == true` on a SmallVec built from `Vec::with_capacity(0)` and fails immediately (without having to trigger the follow-on UB)." } } ] }, "metrics": [ { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.532404094+00:00", "status": "failed", "tests": 23, "discards": 0, "time": "73us", "error": null, "tool": "proptest", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.533929259+00:00", "status": "failed", "tests": 24, "discards": 0, "time": "104us", "error": null, "tool": "proptest", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.535012051+00:00", "status": "failed", "tests": 10, "discards": 0, "time": "50us", "error": null, "tool": "proptest", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.536115631+00:00", "status": "failed", "tests": 19, "discards": 0, "time": "63us", "error": null, "tool": "proptest", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.537249649+00:00", "status": "failed", "tests": 28, "discards": 0, "time": "68us", "error": null, "tool": "proptest", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.538364951+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "64us", "error": null, "tool": "proptest", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.539425282+00:00", "status": "failed", "tests": 14, "discards": 0, "time": "53us", "error": null, "tool": "proptest", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.540512132+00:00", "status": "failed", "tests": 18, "discards": 0, "time": "55us", "error": null, "tool": "proptest", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.541547666+00:00", "status": "failed", "tests": 16, "discards": 0, "time": "52us", "error": null, "tool": "proptest", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.542613797+00:00", "status": "failed", "tests": 27, "discards": 0, "time": "124us", "error": null, "tool": "proptest", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.544184837+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "18us", "error": null, "tool": "quickcheck", "counterexample": "(values=[51] cap_tag=60)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.545226825+00:00", "status": "failed", "tests": 13, "discards": 0, "time": "33us", "error": null, "tool": "quickcheck", "counterexample": "(values=[181] cap_tag=160)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.546307311+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "21us", "error": null, "tool": "quickcheck", "counterexample": "(values=[167, 132, 109, 49, 48, 136, 65, 42, 87, 114, 187, 125] cap_tag=11)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.547350121+00:00", "status": "failed", "tests": 4, "discards": 0, "time": "22us", "error": null, "tool": "quickcheck", "counterexample": "(values=[] cap_tag=41)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.548385332+00:00", "status": "failed", "tests": 4, "discards": 0, "time": "22us", "error": null, "tool": "quickcheck", "counterexample": "(values=[219] cap_tag=241)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.549423273+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "17us", "error": null, "tool": "quickcheck", "counterexample": "(values=[232] cap_tag=76)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.550435733+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "14us", "error": null, "tool": "quickcheck", "counterexample": "(values=[30, 162, 227, 132] cap_tag=103)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.551482859+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "19us", "error": null, "tool": "quickcheck", "counterexample": "(values=[157, 248, 5, 242, 136, 188, 49, 191, 151, 73, 246, 129, 138, 35, 14] cap_tag=68)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.552495781+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "20us", "error": null, "tool": "quickcheck", "counterexample": "(values=[0, 37, 1, 1, 88, 163, 44, 72, 125, 1, 255, 194, 95, 67, 242] cap_tag=8)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.553529732+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "17us", "error": null, "tool": "quickcheck", "counterexample": "(values=[175] cap_tag=98)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.554728871+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "24us", "error": null, "tool": "crabcheck", "counterexample": "(values=[87, 87] cap_tag=53)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.555737485+00:00", "status": "failed", "tests": 4, "discards": 0, "time": "22us", "error": null, "tool": "crabcheck", "counterexample": "(values=[175, 250, 234] cap_tag=163)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.556776446+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "28us", "error": null, "tool": "crabcheck", "counterexample": "(values=[2, 253, 21, 185, 253, 34] cap_tag=170)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.557857715+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "25us", "error": null, "tool": "crabcheck", "counterexample": "(values=[160, 76, 153, 102, 242, 90, 26, 136, 92, 235, 212, 45, 176, 198, 40] cap_tag=230)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.558859757+00:00", "status": "failed", "tests": 9, "discards": 0, "time": "30us", "error": null, "tool": "crabcheck", "counterexample": "(values=[65, 60, 27, 205, 20, 205, 44, 218, 189, 207, 105, 151] cap_tag=155)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.559908225+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "18us", "error": null, "tool": "crabcheck", "counterexample": "(values=[54, 7, 142, 11, 91, 202, 243, 214, 48] cap_tag=128)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.560902343+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "30us", "error": null, "tool": "crabcheck", "counterexample": "(values=[118, 228, 159, 108, 216, 150, 183, 140, 32] cap_tag=200)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.561947666+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "18us", "error": null, "tool": "crabcheck", "counterexample": "(values=[189, 36, 52, 16, 138, 190, 117, 32, 88, 63, 178, 106, 55, 84, 22, 214] cap_tag=98)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.562962191+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "26us", "error": null, "tool": "crabcheck", "counterexample": "(values=[] cap_tag=95)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.564039673+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "27us", "error": null, "tool": "crabcheck", "counterexample": "(values=[168, 29] cap_tag=86)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:42:57.565230967+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "747504us", "error": null, "tool": "hegel", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:42:58.314025025+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "210414us", "error": null, "tool": "hegel", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:42:58.525861721+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "214589us", "error": null, "tool": "hegel", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:42:58.742067335+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "216481us", "error": null, "tool": "hegel", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:42:58.960117868+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "217090us", "error": null, "tool": "hegel", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:42:59.178698215+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "214376us", "error": null, "tool": "hegel", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:42:59.394650728+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "213649us", "error": null, "tool": "hegel", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:42:59.609904583+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "222335us", "error": null, "tool": "hegel", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:42:59.833620392+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "214440us", "error": null, "tool": "hegel", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "LeakInlinePanics", "mutations": [ "leak_inline_panic_3395246_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:43:00.049657143+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "212096us", "error": null, "tool": "hegel", "counterexample": "(values=[] cap_tag=0)", "hash": "a13b57fda4de532efda6defabdb1b588920db87e" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.398374665+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "94us", "error": null, "tool": "proptest", "counterexample": "(a=[] b=[-2191184293382])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.399665244+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "101us", "error": null, "tool": "proptest", "counterexample": "(a=[] b=[1189599924883863])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.400786801+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "74us", "error": null, "tool": "proptest", "counterexample": "(a=[] b=[-1846917080161])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.401874761+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "89us", "error": null, "tool": "proptest", "counterexample": "(a=[] b=[-175663460548331])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.402944622+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "133us", "error": null, "tool": "proptest", "counterexample": "(a=[] b=[-59630455140006])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.404033463+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "79us", "error": null, "tool": "proptest", "counterexample": "(a=[] b=[18901544928673])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.405115306+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "76us", "error": null, "tool": "proptest", "counterexample": "(a=[] b=[714454076955])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.406190252+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "81us", "error": null, "tool": "proptest", "counterexample": "(a=[] b=[-17493236150610])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.407264551+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "94us", "error": null, "tool": "proptest", "counterexample": "(a=[] b=[-1512163824691012])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.408331722+00:00", "status": "failed", "tests": 33, "discards": 0, "time": "75us", "error": null, "tool": "proptest", "counterexample": "(a=[] b=[-128333022688])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.409574885+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "21us", "error": null, "tool": "quickcheck", "counterexample": "(a=[0, 0, 0, 0, 0, 0, 0, 0, 9223372036854775807, 0, 0, 0, 0, 0, 0] b=[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.410663208+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "19us", "error": null, "tool": "quickcheck", "counterexample": "(a=[0, 0, 0, 0, 0, 0, 0, 0] b=[0, 0, 0, 0, 9223372036854775807, 0, 0, 0, 0, 0, 0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.411693791+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "14us", "error": null, "tool": "quickcheck", "counterexample": "(a=[0, 0, 0, 0, 0] b=[0, 0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.412738555+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "15us", "error": null, "tool": "quickcheck", "counterexample": "(a=[0, 0, 0, 0, 0, 0, 0] b=[0, 0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.413772464+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "12us", "error": null, "tool": "quickcheck", "counterexample": "(a=[] b=[0, 0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.414815325+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "21us", "error": null, "tool": "quickcheck", "counterexample": "(a=[0, 0, 9223372036854775807, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] b=[0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.415819289+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "13us", "error": null, "tool": "quickcheck", "counterexample": "(a=[0, 0] b=[0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.416837363+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "21us", "error": null, "tool": "quickcheck", "counterexample": "(a=[0, -9223372036854775808, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] b=[0, 0, 0, 0, 0, 0, 0, 0, 0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.417831689+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "26us", "error": null, "tool": "quickcheck", "counterexample": "(a=[0, 0, 0, 0, 0, 0, 0, 0] b=[0, 0, 0, 0, 9223372036854775807, 9223372036854775807, 0, 0, 0, 0, 0, 0, -9223372036854775808, 0, 0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.418849473+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "18us", "error": null, "tool": "quickcheck", "counterexample": "(a=[0, 0] b=[0, 0, 0, 0, 0, 0, 9223372036854775807, 0, 0, -9223372036854775808, 0, 0, 0, 0, 0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.420131023+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "25us", "error": null, "tool": "crabcheck", "counterexample": "(a=[5059527658110327320, 47693711231034327, -3219756984144908900, -4790151694030388368, 2271156701807743178, 5508872282024785839, -3008322189390964693, 1314287161273941212, -2338785538042813796, 601444533005673408, -105076230492750257, 956804057690692840, 4185999753566337375, 5190360089537377598, 6994280669713511505] b=[2286190341986018119, -3995859737355227030, 805051011795717493, -894670608816251730, 6616147149509911757, 7046544021903784099, 8405618236252190710, -9163425768403582405, 3549551537753043343, -3429306452627596602, 8166615682210710074, -8094066392473656328, 4151662497656846937])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.421226441+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "19us", "error": null, "tool": "crabcheck", "counterexample": "(a=[7060054244947009860, -7802834640938354289, -5619873654834488033, 3058839910142495036, -5586714881608871947, 868659285876791270, -6950572487589738817, 6557784809140118737, 1780378752686875830, -713625921446749779, 5989644683093935317, -6974336100055590045, -3194926979121197266, -4129177896448862175, 8600688154524057544] b=[-8166180592984950500, -5251672456462264360, -5304583711291183477, 6399203034343714889, 7171534885644140182, 4072451324253980236, 8674647422408935964, 769019634328473546])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.422252115+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "19us", "error": null, "tool": "crabcheck", "counterexample": "(a=[-7375407047632863220, 7692757142127378770, -2913456965392961226, 1000183302146480859, 3922366878943139326, 1264280651924246769, -6086257978803114016, 82430318263598458] b=[7292483158357768112, -3168155237102803503, -1234078773443245098, -7615570417529571417, -8957455628405746961])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.423315244+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "19us", "error": null, "tool": "crabcheck", "counterexample": "(a=[4940774701842053149, -2633136157655875493, -7581660443415273589, -8327047031597389449, 6881094850157067901, -2054911102490567440, 7380091542986164743, 3530542747551811919, -2127584811845524128, -2998668059991806272, -6943949355561169797, -5997092614520140203] b=[2857010327575253799, -4930491918062793662, -1016276559535020470, 8483210923237364694, -1011212043468859632, 2576837148303021727, -3246334220434420520, 6593639385043182760, 282720421451905679, 1774029823611624466, 9053306020779328215])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.424324798+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "19us", "error": null, "tool": "crabcheck", "counterexample": "(a=[5748076388710165196, -4015097088453470625, -7925296297367935275, 8630517125537423405, 5352672015394518560, -1089364567429243029] b=[-2817601837852486655, -1465988154539547764])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.425372177+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "25us", "error": null, "tool": "crabcheck", "counterexample": "(a=[1002243159435746040, 145580913281289777, -1885706036817370139, 6506231529814676822, 3639872256426099507, -6007766112847651638, -3952920897497047792, 5018423147686820220, 489362675122822353, 5606358965065210152, -7198831964375783189] b=[1156972060266614762, -4466725339357227855, 5792326872086702082, -8264898663700447419, -1008299015339952856, 7663373167185008751, -1513469184046950903, -4511833204137916107, 4368904427086839360, 5330220338471968321])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.426381891+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "19us", "error": null, "tool": "crabcheck", "counterexample": "(a=[] b=[1843845262910998379, -2184879419815750634, 272172708806471653, -4097446205689110639, -8974028499457941760, 4419846195309234424, 2273469872000539651, 3659194691128507357, -296446884739967658, -2621390641984679113, -7895587021913984932, 2160957710338088500])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.427390358+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "25us", "error": null, "tool": "crabcheck", "counterexample": "(a=[-7843018147572478289, -3676440187385762598, -1574417987366772854, 7059975035204165153, -4170357348436130526, 5277410904584262115, -2554887236440397407, 6526788547400817831, -6364361418054373906, 8205310403625522483, 1859983714231672143, 7772890540487404904, 4807507911910007998] b=[-8971291706969912694, 5652243649258049738, 2154976824035282397, 9220627151579294355, -5095932520946300578, 1282828619632156742, -993841986907009900, 6225816391341398134])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.428457018+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "24us", "error": null, "tool": "crabcheck", "counterexample": "(a=[-2627587452473024142, -7969770688675467994, -8781998732626907267, 4214580521935045353, 775309060115114762, -6224558449886576102, -1782783857887936578, 3651738434459711966, -398491066251152141, 3125727734554528091, -9167645307147381359] b=[-6957425534228815573, 4648538369132489200, 583794868205785961, -2674947122918224460, 8261333593813775068, -4387344982023705289, -7248613314196607903])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.429452060+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "24us", "error": null, "tool": "crabcheck", "counterexample": "(a=[] b=[604405802468208853, 8714276047969899591, -7399385745814228306, -3355942321132614456, 7039671771193719226, 8054731328970985434, -8243788218356986868, -1146256451053746807, 1154808657211246104, 6022454570119127697, -3417911753288723298, -4039886088500334776, -1493126857772722886])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.430814780+00:00", "status": "failed", "tests": 51, "discards": 0, "time": "537479us", "error": null, "tool": "hegel", "counterexample": "(a=[] b=[0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:43:02.969450845+00:00", "status": "failed", "tests": 51, "discards": 0, "time": "536284us", "error": null, "tool": "hegel", "counterexample": "(a=[] b=[0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:43:03.507372030+00:00", "status": "failed", "tests": 51, "discards": 0, "time": "536063us", "error": null, "tool": "hegel", "counterexample": "(a=[] b=[0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:43:04.045023675+00:00", "status": "failed", "tests": 51, "discards": 0, "time": "524566us", "error": null, "tool": "hegel", "counterexample": "(a=[] b=[0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:43:04.571109629+00:00", "status": "failed", "tests": 51, "discards": 0, "time": "531879us", "error": null, "tool": "hegel", "counterexample": "(a=[] b=[0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:43:05.104471504+00:00", "status": "failed", "tests": 51, "discards": 0, "time": "538693us", "error": null, "tool": "hegel", "counterexample": "(a=[] b=[0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:43:05.644808609+00:00", "status": "failed", "tests": 51, "discards": 0, "time": "538846us", "error": null, "tool": "hegel", "counterexample": "(a=[] b=[0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:43:06.185197869+00:00", "status": "failed", "tests": 51, "discards": 0, "time": "539063us", "error": null, "tool": "hegel", "counterexample": "(a=[] b=[0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:43:06.725772357+00:00", "status": "failed", "tests": 51, "discards": 0, "time": "536607us", "error": null, "tool": "hegel", "counterexample": "(a=[] b=[0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "AppendPreservesLength", "mutations": [ "append_set_len_1bd2dbc_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:43:07.263864816+00:00", "status": "failed", "tests": 51, "discards": 0, "time": "532938us", "error": null, "tool": "hegel", "counterexample": "(a=[] b=[0])", "hash": "2fdddcd3900d1fb7483dabd7dc6ea5aeadddb682" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.880727818+00:00", "status": "failed", "tests": 10, "discards": 0, "time": "95us", "error": null, "tool": "proptest", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.882021052+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "59us", "error": null, "tool": "proptest", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.883087346+00:00", "status": "failed", "tests": 9, "discards": 0, "time": "53us", "error": null, "tool": "proptest", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.884167290+00:00", "status": "failed", "tests": 15, "discards": 0, "time": "54us", "error": null, "tool": "proptest", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.885217184+00:00", "status": "failed", "tests": 15, "discards": 0, "time": "54us", "error": null, "tool": "proptest", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.886279115+00:00", "status": "failed", "tests": 4, "discards": 0, "time": "50us", "error": null, "tool": "proptest", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.887324661+00:00", "status": "failed", "tests": 2, "discards": 0, "time": "44us", "error": null, "tool": "proptest", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.888367415+00:00", "status": "failed", "tests": 8, "discards": 0, "time": "53us", "error": null, "tool": "proptest", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.889419013+00:00", "status": "failed", "tests": 3, "discards": 0, "time": "49us", "error": null, "tool": "proptest", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "proptest", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.890453623+00:00", "status": "failed", "tests": 7, "discards": 0, "time": "47us", "error": null, "tool": "proptest", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.891976626+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "18us", "error": null, "tool": "quickcheck", "counterexample": "(push_after=[3461, 63591, 43644, 20413, 46160, 21126, 61934])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.893017677+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "20us", "error": null, "tool": "quickcheck", "counterexample": "(push_after=[64070, 43562, 0, 35433, 44458, 39028, 1, 25886, 7748, 57308, 39552, 15917, 44728, 30049, 65122])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.894022027+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "15us", "error": null, "tool": "quickcheck", "counterexample": "(push_after=[44267, 43837, 857, 57329, 47424, 7902, 14917, 8983, 15405, 8681])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.895030328+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "22us", "error": null, "tool": "quickcheck", "counterexample": "(push_after=[47640, 27884, 15359, 44485, 36087, 29667, 60275, 60763, 64902, 44988, 63401, 23430, 13009, 35500])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.896076145+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "14us", "error": null, "tool": "quickcheck", "counterexample": "(push_after=[58608, 13831])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.897093342+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "15us", "error": null, "tool": "quickcheck", "counterexample": "(push_after=[53659, 33664, 47460, 1547, 43001, 65535, 14787, 47678, 52477, 1, 30663])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.898084427+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "15us", "error": null, "tool": "quickcheck", "counterexample": "(push_after=[22668, 12372, 33867, 65535, 13079, 5477, 56085, 38092, 8880, 22129, 12018])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.899075014+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "15us", "error": null, "tool": "quickcheck", "counterexample": "(push_after=[20199, 37789, 172, 35205, 6751])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.900127554+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "20us", "error": null, "tool": "quickcheck", "counterexample": "(push_after=[3852, 24999, 9614, 13699, 37578])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "quickcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.901114685+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "17us", "error": null, "tool": "quickcheck", "counterexample": "(push_after=[1, 12223, 8834, 26356, 25091, 41782, 9419, 18545, 58641, 65493, 62517, 55343, 6242, 32291])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.902694334+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "17us", "error": null, "tool": "crabcheck", "counterexample": "(push_after=[8849, 32995, 44011, 19821, 28003])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.903696673+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "16us", "error": null, "tool": "crabcheck", "counterexample": "(push_after=[46262, 19037])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.904659295+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "16us", "error": null, "tool": "crabcheck", "counterexample": "(push_after=[19920, 20697, 38510, 58805, 20858, 52002, 29420, 11236, 41269, 9974])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.905644964+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "21us", "error": null, "tool": "crabcheck", "counterexample": "(push_after=[10328])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.906702272+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "16us", "error": null, "tool": "crabcheck", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.907664748+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "24us", "error": null, "tool": "crabcheck", "counterexample": "(push_after=[13936])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.908707929+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "16us", "error": null, "tool": "crabcheck", "counterexample": "(push_after=[42946, 37744, 44827, 36906, 469, 40707, 51485, 12037])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.909712894+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "21us", "error": null, "tool": "crabcheck", "counterexample": "(push_after=[15187, 20698, 17173])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.910707005+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "16us", "error": null, "tool": "crabcheck", "counterexample": "(push_after=[25268, 29130, 4699, 33842, 35968, 52261, 64847, 60448])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "crabcheck", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.911729121+00:00", "status": "failed", "tests": 1, "discards": 0, "time": "17us", "error": null, "tool": "crabcheck", "counterexample": "(push_after=[29768, 50871, 13673, 34529, 54858, 40641, 59411, 6935, 60013, 61300, 4169, 1548, 29163, 16303, 46850])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T19:43:09.913343140+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "199761us", "error": null, "tool": "hegel", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T19:43:10.114342349+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "199294us", "error": null, "tool": "hegel", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T19:43:10.315138880+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "199944us", "error": null, "tool": "hegel", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T19:43:10.516653998+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "207900us", "error": null, "tool": "hegel", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T19:43:10.726078334+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "206184us", "error": null, "tool": "hegel", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T19:43:10.933897340+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "199236us", "error": null, "tool": "hegel", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T19:43:11.134805997+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "200211us", "error": null, "tool": "hegel", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T19:43:11.336712532+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "203170us", "error": null, "tool": "hegel", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T19:43:11.541349387+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "200503us", "error": null, "tool": "hegel", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" }, { "experiment": "ci-run", "workload": "smallvec", "language": "rust", "strategy": "hegel", "property": "FromVecZeroCapacity", "mutations": [ "from_vec_zero_capacity_944f603_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T19:43:11.743525837+00:00", "status": "failed", "tests": 12, "discards": 0, "time": "201981us", "error": null, "tool": "hegel", "counterexample": "(push_after=[])", "hash": "883d9fcb573c678c65e249b0d62160830433d714" } ] }