{ "experiment": "ci-run", "generated_at": "2026-04-30 16:52 UTC", "workload_docs": { "ordered-float": [ { "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "tasks": [ { "property": "HashMatchesEq", "witnesses": [ { "test_fn": "witness_hash_matches_eq_case_signed_zero" }, { "test_fn": "witness_hash_matches_eq_notnan_case_signed_zero" } ] } ], "source": { "repo": "https://github.com/reem/rust-ordered-float", "commits": [ "3aa8aa506b3231712958093ee513b37206a474da" ], "commit_subjects": [ "Hash zero consistently" ], "summary": "`OrderedFloat`'s `Hash` impl hashed the raw `to_bits()`, so `+0.0` and `-0.0` — which compare equal — hashed to different bit patterns, violating the Hash/Eq contract; the fix canonicalizes zero by adding `0.0` before hashing." }, "injection": { "kind": "patch", "files": [ "src/lib.rs" ], "locations": [ { "file": "src/lib.rs" } ], "patch": "patches/hash_signed_zero_3aa8aa5_1.patch" }, "bug": { "short_name": "hash_signed_zero", "invariant": "If `a == b` then `hash(a) == hash(b)`.", "how_triggered": "`SealedTrait::canonical_bits` on `f32`/`f64` drops the `(self + 0.0)` canonicalization and returns `self.to_bits()` directly, so `+0.0` and `-0.0` hash to different bit patterns while still comparing equal." } }, { "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "tasks": [ { "property": "NotnanBinopNoNan", "witnesses": [ { "test_fn": "witness_notnan_binop_no_nan_case_add_inf_minus_inf" }, { "test_fn": "witness_notnan_binop_no_nan_case_mul_zero_inf" }, { "test_fn": "witness_notnan_binop_no_nan_case_div_zero_zero" } ] } ], "source": { "repo": "https://github.com/reem/rust-ordered-float", "commits": [ "8d56a3c35bde346cdc91c2736ab0e36ffde85b7f" ], "commit_subjects": [ "Check result of NotNan addition for NaN" ], "summary": "`NotNan`'s arithmetic impls returned `NotNan(self.0 + other.0)` directly, so `INF + (-INF)`, `0.0 * INF`, and `0.0 / 0.0` silently produced a `NotNan` wrapping NaN; the fix re-enters `NotNan::new` on the result so the constructor can panic on NaN." }, "injection": { "kind": "patch", "files": [ "src/lib.rs" ], "locations": [ { "file": "src/lib.rs" } ], "patch": "patches/notnan_binop_skip_nan_check_8d56a3c_1.patch" }, "bug": { "short_name": "notnan_binop_skip_nan_check", "invariant": "Arithmetic on `NotNan` either panics or yields a `NotNan` whose inner value is not NaN.", "how_triggered": "`impl_not_nan_binop!` constructs `NotNan(self.0.$method(other.0))` directly instead of routing through `NotNan::new(...).expect(...)`, so `INF + (-INF)`, `0.0 * INF`, and `0.0 / 0.0` silently produce `NotNan(NaN)`." } }, { "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "tasks": [ { "property": "PartialCmpMatchesCmp", "witnesses": [ { "test_fn": "witness_partial_cmp_matches_cmp_case_nan_vs_zero" }, { "test_fn": "witness_partial_cmp_matches_cmp_case_nan_vs_nan" } ] } ], "source": { "repo": "https://github.com/reem/rust-ordered-float", "commits": [ "184a3816e2702a89b68ceca3cb58c16cfe4fd0c6" ], "commit_subjects": [ "fix partialord implementation for orderedfloat" ], "summary": "`OrderedFloat::partial_cmp` delegated to the inner float's `partial_cmp`, which returns `None` when either operand is NaN; that disagrees with `Ord::cmp`'s total order (`NaN == NaN`) and breaks the `partial_cmp == Some(cmp)` invariant." }, "injection": { "kind": "patch", "files": [ "src/lib.rs" ], "locations": [ { "file": "src/lib.rs" } ], "patch": "patches/partial_cmp_delegates_to_inner_184a381_1.patch" }, "bug": { "short_name": "partial_cmp_delegates_to_inner", "invariant": "`a.partial_cmp(&b) == Some(a.cmp(&b))` whenever both traits are implemented.", "how_triggered": "` as PartialOrd>::partial_cmp` delegates to the inner float's `partial_cmp`, which returns `None` for NaN operands while `Ord::cmp` still produces a total order." } }, { "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "tasks": [ { "property": "AssignPanicSafe", "witnesses": [ { "test_fn": "witness_assign_panic_safe_case_add_inf_minus_inf" }, { "test_fn": "witness_assign_panic_safe_case_mul_zero_inf" }, { "test_fn": "witness_assign_panic_safe_case_div_zero_zero" } ] } ], "source": { "repo": "https://github.com/reem/rust-ordered-float", "commits": [ "c55cda301c943270b7eb2b4765bedbcce56edb90" ], "commit_subjects": [ "Make assignment operators panic safe" ], "summary": "`NotNan`'s `AddAssign`/`MulAssign`/… performed the inner op in place and asserted afterwards, so when the result was NaN the panic left the receiver holding NaN — a `catch_unwind` caller could then observe a broken wrapper; the fix computes the result first and only commits once it's known to be non-NaN." }, "injection": { "kind": "patch", "files": [ "src/lib.rs" ], "locations": [ { "file": "src/lib.rs" } ], "patch": "patches/notnan_assign_not_panic_safe_c55cda3_1.patch" }, "bug": { "short_name": "notnan_assign_not_panic_safe", "invariant": "If a `NotNan` assign operator panics, the receiver still holds a non-NaN value.", "how_triggered": "`impl_not_nan_binop!`'s assign impl mutates `self.0` first with the raw inner op and asserts afterwards, so when the assert fires the `NotNan` is already holding NaN and a `catch_unwind` caller observes the broken wrapper." } } ] }, "metrics": [ { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.640251781+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest HashMatchesEq inputs=3 elapsed=114us: Test failed: OrderedFloat(-0) == OrderedFloat(0) but hash differs: 17224059632725561478 vs 13646096770106105413.\nminimal failing input: (\n -0.0,\n 0.0,\n)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.641749479+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest HashMatchesEq inputs=8 elapsed=114us: Test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478.\nminimal failing input: (\n 0.0,\n -0.0,\n)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.643078532+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest HashMatchesEq inputs=6 elapsed=115us: Test failed: OrderedFloat(-0) == OrderedFloat(0) but hash differs: 17224059632725561478 vs 13646096770106105413.\nminimal failing input: (\n -0.0,\n 0.0,\n)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.644427959+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest HashMatchesEq inputs=16 elapsed=133us: Test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478.\nminimal failing input: (\n 0.0,\n -0.0,\n)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.645676078+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest HashMatchesEq inputs=63 elapsed=253us: Test failed: OrderedFloat(-0) == OrderedFloat(0) but hash differs: 17224059632725561478 vs 13646096770106105413.\nminimal failing input: (\n -0.0,\n 0.0,\n)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.647018272+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest HashMatchesEq inputs=53 elapsed=323us: Test failed: OrderedFloat(-0) == OrderedFloat(0) but hash differs: 17224059632725561478 vs 13646096770106105413.\nminimal failing input: (\n -0.0,\n 0.0,\n)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.648598499+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest HashMatchesEq inputs=22 elapsed=158us: Test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478.\nminimal failing input: (\n 0.0,\n -0.0,\n)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.649888950+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest HashMatchesEq inputs=11 elapsed=127us: Test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478.\nminimal failing input: (\n 0.0,\n -0.0,\n)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.651128942+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest HashMatchesEq inputs=28 elapsed=173us: Test failed: OrderedFloat(-0) == OrderedFloat(0) but hash differs: 17224059632725561478 vs 13646096770106105413.\nminimal failing input: (\n -0.0,\n 0.0,\n)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.652369271+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest HashMatchesEq inputs=17 elapsed=140us: Test failed: OrderedFloat(-0) == OrderedFloat(0) but hash differs: 17224059632725561478 vs 13646096770106105413.\nminimal failing input: (\n -0.0,\n 0.0,\n)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.653665078+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck HashMatchesEq inputs=8 elapsed=21us: quickcheck failed with counterexample: (0 9)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.654847602+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck HashMatchesEq inputs=19 elapsed=29us: quickcheck failed with counterexample: (0 1)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.655892086+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck HashMatchesEq inputs=23 elapsed=21us: quickcheck failed with counterexample: (25 0)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.656957472+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck HashMatchesEq inputs=89 elapsed=71us: quickcheck failed with counterexample: (1 0)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.658348235+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck HashMatchesEq inputs=43 elapsed=44us: quickcheck failed with counterexample: (0 169)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.659708794+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck HashMatchesEq inputs=23 elapsed=40us: quickcheck failed with counterexample: (9 0)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.661061507+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck HashMatchesEq inputs=18 elapsed=26us: quickcheck failed with counterexample: (0 1)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.662202051+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck HashMatchesEq inputs=27 elapsed=25us: quickcheck failed with counterexample: (0 9)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.663328034+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck HashMatchesEq inputs=42 elapsed=53us: quickcheck failed with counterexample: (0 9)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.664611332+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck HashMatchesEq inputs=12 elapsed=22us: quickcheck failed with counterexample: (0 73)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.665818806+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck HashMatchesEq inputs=2 elapsed=33us: crabcheck failed with counterexample: (0 1)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.666948779+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck HashMatchesEq inputs=3 elapsed=27us: crabcheck failed with counterexample: (1 0)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.668100788+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck HashMatchesEq inputs=2 elapsed=22us: crabcheck failed with counterexample: (0 1)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.669165780+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck HashMatchesEq inputs=2 elapsed=23us: crabcheck failed with counterexample: (0 1)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.670233973+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck HashMatchesEq inputs=3 elapsed=33us: crabcheck failed with counterexample: (0 1)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.671349471+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck HashMatchesEq inputs=2 elapsed=31us: crabcheck failed with counterexample: (0 1)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.672663532+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck HashMatchesEq inputs=2 elapsed=23us: crabcheck failed with counterexample: (0 1)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.673776855+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck HashMatchesEq inputs=4 elapsed=26us: crabcheck failed with counterexample: (1 0)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.674877748+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck HashMatchesEq inputs=2 elapsed=26us: crabcheck failed with counterexample: (1 0)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.675930748+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck HashMatchesEq inputs=2 elapsed=34us: crabcheck failed with counterexample: (1 0)\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T16:52:03.677158251+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 1\nthread 'main' (1) panicked at src/bin/etna.rs:402:21:\nOrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n\nthread 'main' (6284) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel HashMatchesEq inputs=68 elapsed=854724us: hegel found counterexample: Property test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T16:52:04.533259255+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 1\nthread 'main' (1) panicked at src/bin/etna.rs:402:21:\nOrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n\nthread 'main' (6311) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel HashMatchesEq inputs=68 elapsed=240832us: hegel found counterexample: Property test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T16:52:04.775729011+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 1\nthread 'main' (1) panicked at src/bin/etna.rs:402:21:\nOrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n\nthread 'main' (6319) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel HashMatchesEq inputs=68 elapsed=242906us: hegel found counterexample: Property test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T16:52:05.020434689+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 1\nthread 'main' (1) panicked at src/bin/etna.rs:402:21:\nOrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n\nthread 'main' (6327) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel HashMatchesEq inputs=68 elapsed=245761us: hegel found counterexample: Property test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T16:52:05.267866709+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 1\nthread 'main' (1) panicked at src/bin/etna.rs:402:21:\nOrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n\nthread 'main' (6335) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel HashMatchesEq inputs=68 elapsed=258570us: hegel found counterexample: Property test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T16:52:05.528278670+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 1\nthread 'main' (1) panicked at src/bin/etna.rs:402:21:\nOrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n\nthread 'main' (6343) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel HashMatchesEq inputs=68 elapsed=259208us: hegel found counterexample: Property test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T16:52:05.789282774+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 1\nthread 'main' (1) panicked at src/bin/etna.rs:402:21:\nOrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n\nthread 'main' (6351) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel HashMatchesEq inputs=68 elapsed=244208us: hegel found counterexample: Property test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T16:52:06.035149246+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 1\nthread 'main' (1) panicked at src/bin/etna.rs:402:21:\nOrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n\nthread 'main' (6359) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel HashMatchesEq inputs=68 elapsed=244194us: hegel found counterexample: Property test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T16:52:06.281186919+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 1\nthread 'main' (1) panicked at src/bin/etna.rs:402:21:\nOrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n\nthread 'main' (6367) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel HashMatchesEq inputs=68 elapsed=245605us: hegel found counterexample: Property test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "HashMatchesEq", "mutations": [ "hash_signed_zero_3aa8aa5_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T16:52:06.528601597+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 1\nthread 'main' (1) panicked at src/bin/etna.rs:402:21:\nOrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n\nthread 'main' (6375) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel HashMatchesEq inputs=68 elapsed=229974us: hegel found counterexample: Property test failed: OrderedFloat(0) == OrderedFloat(-0) but hash differs: 13646096770106105413 vs 17224059632725561478\n", "hash": "b0478fe8e7243c3082078c6a96d37a9e5f985e54" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.080211652+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: proptest NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for proptest: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.081643372+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: proptest NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for proptest: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.083187252+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: proptest NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for proptest: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.084545004+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: proptest NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for proptest: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.085695169+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: proptest NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for proptest: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.086769328+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: proptest NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for proptest: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.087935422+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: proptest NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for proptest: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.089099497+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: proptest NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for proptest: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.090217082+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: proptest NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for proptest: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.091532494+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: proptest NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for proptest: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.093106999+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for quickcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.094328839+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for quickcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.095404685+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for quickcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.096449509+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for quickcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.097493696+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for quickcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.098539802+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for quickcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.099686058+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for quickcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.100769077+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for quickcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.101874226+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for quickcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.102961810+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for quickcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.104396856+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for crabcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.105585684+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for crabcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.106634906+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for crabcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.107723073+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for crabcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.108776968+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for crabcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.109805962+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for crabcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.110897748+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for crabcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.112042119+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for crabcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.113119187+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for crabcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.114213540+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for crabcheck: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.115778555+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6539) panicked at src/bin/etna.rs:466:14:\n__unknown_property:NotnanBinopNoNan\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for hegel: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.116965155+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6542) panicked at src/bin/etna.rs:466:14:\n__unknown_property:NotnanBinopNoNan\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for hegel: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.118163278+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6545) panicked at src/bin/etna.rs:466:14:\n__unknown_property:NotnanBinopNoNan\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for hegel: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.119300879+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6548) panicked at src/bin/etna.rs:466:14:\n__unknown_property:NotnanBinopNoNan\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for hegel: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.120368285+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6551) panicked at src/bin/etna.rs:466:14:\n__unknown_property:NotnanBinopNoNan\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for hegel: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.121465491+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6554) panicked at src/bin/etna.rs:466:14:\n__unknown_property:NotnanBinopNoNan\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for hegel: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.122521276+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6557) panicked at src/bin/etna.rs:466:14:\n__unknown_property:NotnanBinopNoNan\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for hegel: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.123594376+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6560) panicked at src/bin/etna.rs:466:14:\n__unknown_property:NotnanBinopNoNan\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for hegel: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.124657024+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6563) panicked at src/bin/etna.rs:466:14:\n__unknown_property:NotnanBinopNoNan\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for hegel: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "NotnanBinopNoNan", "mutations": [ "notnan_binop_skip_nan_check_8d56a3c_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T16:52:09.125717872+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6566) panicked at src/bin/etna.rs:466:14:\n__unknown_property:NotnanBinopNoNan\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel NotnanBinopNoNan inputs=0 elapsed=0us: Unknown property for hegel: NotnanBinopNoNan\n", "hash": "455f39e161cada0cc2273ea345745161110a97c1" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.522824263+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest PartialCmpMatchesCmp inputs=10 elapsed=117us: Test failed: OrderedFloat(NaN).partial_cmp(&OrderedFloat(0)) = None but cmp = Greater.\nminimal failing input: (\n NaN,\n 0.0,\n)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.524335315+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest PartialCmpMatchesCmp inputs=9 elapsed=118us: Test failed: OrderedFloat(NaN).partial_cmp(&OrderedFloat(0)) = None but cmp = Greater.\nminimal failing input: (\n NaN,\n 0.0,\n)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.525593597+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest PartialCmpMatchesCmp inputs=10 elapsed=95us: Test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less.\nminimal failing input: (\n 0.0,\n NaN,\n)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.526755956+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest PartialCmpMatchesCmp inputs=25 elapsed=153us: Test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less.\nminimal failing input: (\n 0.0,\n NaN,\n)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.527982970+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest PartialCmpMatchesCmp inputs=8 elapsed=144us: Test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less.\nminimal failing input: (\n 0.0,\n NaN,\n)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.529140570+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest PartialCmpMatchesCmp inputs=14 elapsed=128us: Test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less.\nminimal failing input: (\n 0.0,\n NaN,\n)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.530323932+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest PartialCmpMatchesCmp inputs=16 elapsed=128us: Test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less.\nminimal failing input: (\n 0.0,\n NaN,\n)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.531508352+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest PartialCmpMatchesCmp inputs=6 elapsed=114us: Test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less.\nminimal failing input: (\n 0.0,\n NaN,\n)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.532761335+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest PartialCmpMatchesCmp inputs=4 elapsed=101us: Test failed: OrderedFloat(NaN).partial_cmp(&OrderedFloat(0)) = None but cmp = Greater.\nminimal failing input: (\n NaN,\n 0.0,\n)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.533924576+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest PartialCmpMatchesCmp inputs=14 elapsed=130us: Test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less.\nminimal failing input: (\n 0.0,\n NaN,\n)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.535436062+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck PartialCmpMatchesCmp inputs=9 elapsed=23us: quickcheck failed with counterexample: (0 82)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.536517019+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck PartialCmpMatchesCmp inputs=22 elapsed=22us: quickcheck failed with counterexample: (250 0)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.537585847+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck PartialCmpMatchesCmp inputs=11 elapsed=18us: quickcheck failed with counterexample: (0 178)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.538645363+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck PartialCmpMatchesCmp inputs=8 elapsed=21us: quickcheck failed with counterexample: (2 0)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.539669367+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck PartialCmpMatchesCmp inputs=19 elapsed=16us: quickcheck failed with counterexample: (242 0)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.540709948+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck PartialCmpMatchesCmp inputs=12 elapsed=20us: quickcheck failed with counterexample: (0 242)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.541744763+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck PartialCmpMatchesCmp inputs=15 elapsed=26us: quickcheck failed with counterexample: (0 146)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.542786295+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck PartialCmpMatchesCmp inputs=4 elapsed=20us: quickcheck failed with counterexample: (0 2)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.543902983+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck PartialCmpMatchesCmp inputs=21 elapsed=24us: quickcheck failed with counterexample: (146 0)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.544973319+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: quickcheck PartialCmpMatchesCmp inputs=16 elapsed=18us: quickcheck failed with counterexample: (114 0)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.546568903+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck PartialCmpMatchesCmp inputs=5 elapsed=27us: crabcheck failed with counterexample: (1 2)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.547645341+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck PartialCmpMatchesCmp inputs=5 elapsed=29us: crabcheck failed with counterexample: (0 2)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.548743943+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck PartialCmpMatchesCmp inputs=4 elapsed=21us: crabcheck failed with counterexample: (2 2)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.549862353+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck PartialCmpMatchesCmp inputs=6 elapsed=30us: crabcheck failed with counterexample: (1 2)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.550959781+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck PartialCmpMatchesCmp inputs=4 elapsed=28us: crabcheck failed with counterexample: (2 1)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.551979136+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck PartialCmpMatchesCmp inputs=4 elapsed=22us: crabcheck failed with counterexample: (2 1)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.553034475+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck PartialCmpMatchesCmp inputs=4 elapsed=26us: crabcheck failed with counterexample: (2 0)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.554068287+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck PartialCmpMatchesCmp inputs=6 elapsed=24us: crabcheck failed with counterexample: (2 0)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.555116031+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck PartialCmpMatchesCmp inputs=5 elapsed=115us: crabcheck failed with counterexample: (2 2)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.556207602+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: FAIL: crabcheck PartialCmpMatchesCmp inputs=4 elapsed=33us: crabcheck failed with counterexample: (2 0)\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.557657719+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 2\nthread 'main' (1) panicked at src/bin/etna.rs:445:21:\nOrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n\nthread 'main' (6724) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel PartialCmpMatchesCmp inputs=16 elapsed=185749us: hegel found counterexample: Property test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.744690960+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 2\nthread 'main' (1) panicked at src/bin/etna.rs:445:21:\nOrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n\nthread 'main' (6732) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel PartialCmpMatchesCmp inputs=16 elapsed=194934us: hegel found counterexample: Property test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T16:52:11.941421660+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 2\nthread 'main' (1) panicked at src/bin/etna.rs:445:21:\nOrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n\nthread 'main' (6740) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel PartialCmpMatchesCmp inputs=16 elapsed=197406us: hegel found counterexample: Property test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T16:52:12.140678929+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 2\nthread 'main' (1) panicked at src/bin/etna.rs:445:21:\nOrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n\nthread 'main' (6748) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel PartialCmpMatchesCmp inputs=16 elapsed=191942us: hegel found counterexample: Property test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T16:52:12.335254977+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 2\nthread 'main' (1) panicked at src/bin/etna.rs:445:21:\nOrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n\nthread 'main' (6756) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel PartialCmpMatchesCmp inputs=16 elapsed=185927us: hegel found counterexample: Property test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T16:52:12.522765885+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 2\nthread 'main' (1) panicked at src/bin/etna.rs:445:21:\nOrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n\nthread 'main' (6764) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel PartialCmpMatchesCmp inputs=16 elapsed=187288us: hegel found counterexample: Property test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T16:52:12.711894769+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 2\nthread 'main' (1) panicked at src/bin/etna.rs:445:21:\nOrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n\nthread 'main' (6772) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel PartialCmpMatchesCmp inputs=16 elapsed=188164us: hegel found counterexample: Property test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T16:52:12.901903964+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 2\nthread 'main' (1) panicked at src/bin/etna.rs:445:21:\nOrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n\nthread 'main' (6780) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel PartialCmpMatchesCmp inputs=16 elapsed=195031us: hegel found counterexample: Property test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T16:52:13.098689990+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 2\nthread 'main' (1) panicked at src/bin/etna.rs:445:21:\nOrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n\nthread 'main' (6788) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel PartialCmpMatchesCmp inputs=16 elapsed=183209us: hegel found counterexample: Property test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "PartialCmpMatchesCmp", "mutations": [ "partial_cmp_delegates_to_inner_184a381_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T16:52:13.283455012+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 0\nDraw 2: 2\nthread 'main' (1) panicked at src/bin/etna.rs:445:21:\nOrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n\nthread 'main' (6796) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel PartialCmpMatchesCmp inputs=16 elapsed=185184us: hegel found counterexample: Property test failed: OrderedFloat(0).partial_cmp(&OrderedFloat(NaN)) = None but cmp = Less\n", "hash": "3b4b9f764b5de9f0b56183c37649a7f9bb3bbcc5" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.797691425+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6869) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6869) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6869) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest AssignPanicSafe inputs=6 elapsed=195us: Test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe.\nminimal failing input: (\n 3,\n (\n 0.0,\n 0.0,\n ),\n)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.799201202+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6872) panicked at src/lib.rs:1616:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6872) panicked at src/lib.rs:1616:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6872) panicked at src/lib.rs:1616:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6872) panicked at src/lib.rs:1616:1:\nAssign operation on NotNan resulted in NaN\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest AssignPanicSafe inputs=11 elapsed=180us: Test failed: NotNan Sub= after (inf, inf) left inner NaN — not panic-safe.\nminimal failing input: (\n 1,\n (\n inf,\n inf,\n ),\n)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.800442037+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6875) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6875) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6875) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6875) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest AssignPanicSafe inputs=9 elapsed=171us: Test failed: NotNan Div= after (inf, inf) left inner NaN — not panic-safe.\nminimal failing input: (\n 3,\n (\n inf,\n inf,\n ),\n)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.801682299+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6878) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6878) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6878) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6878) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6878) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest AssignPanicSafe inputs=12 elapsed=189us: Test failed: NotNan Div= after (inf, inf) left inner NaN — not panic-safe.\nminimal failing input: (\n 3,\n (\n inf,\n inf,\n ),\n)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.803028650+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6881) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6881) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6881) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6881) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6881) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6881) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6881) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6881) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6881) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6881) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest AssignPanicSafe inputs=32 elapsed=327us: Test failed: NotNan Rem= after (inf, inf) left inner NaN — not panic-safe.\nminimal failing input: (\n 4,\n (\n inf,\n inf,\n ),\n)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.804431034+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6884) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6884) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6884) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6884) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest AssignPanicSafe inputs=13 elapsed=181us: Test failed: NotNan Mul= after (0, inf) left inner NaN — not panic-safe.\nminimal failing input: (\n 2,\n (\n 0.0,\n inf,\n ),\n)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.805687990+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6887) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6887) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6887) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6887) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest AssignPanicSafe inputs=9 elapsed=160us: Test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe.\nminimal failing input: (\n 3,\n (\n 0.0,\n 0.0,\n ),\n)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.806929142+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6890) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6890) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6890) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6890) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6890) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6890) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6890) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6890) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6890) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest AssignPanicSafe inputs=15 elapsed=219us: Test failed: NotNan Rem= after (inf, inf) left inner NaN — not panic-safe.\nminimal failing input: (\n 4,\n (\n inf,\n inf,\n ),\n)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.808239686+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6893) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6893) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6893) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6893) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6893) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6893) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest AssignPanicSafe inputs=13 elapsed=196us: Test failed: NotNan Mul= after (inf, 0) left inner NaN — not panic-safe.\nminimal failing input: (\n 2,\n (\n inf,\n 0.0,\n ),\n)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "proptest", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.809538369+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6896) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6896) panicked at src/lib.rs:1616:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6896) panicked at src/lib.rs:1616:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6896) panicked at src/lib.rs:1616:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6896) panicked at src/lib.rs:1616:1:\nAssign operation on NotNan resulted in NaN\nproptest: FileFailurePersistence::SourceParallel set, but no source file known\nFAIL: proptest AssignPanicSafe inputs=18 elapsed=210us: Test failed: NotNan Sub= after (-inf, -inf) left inner NaN — not panic-safe.\nminimal failing input: (\n 1,\n (\n -inf,\n -inf,\n ),\n)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.811391087+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6899) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6899) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6899) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6899) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\nFAIL: quickcheck AssignPanicSafe inputs=49 elapsed=101us: quickcheck failed with counterexample: (97 0 75)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.812520484+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6902) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6902) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nFAIL: quickcheck AssignPanicSafe inputs=21 elapsed=80us: quickcheck failed with counterexample: (213 0 0)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.813630360+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6905) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6905) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6905) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6905) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6905) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6905) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6905) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6905) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6905) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6905) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6905) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6905) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6905) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6905) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6905) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nFAIL: quickcheck AssignPanicSafe inputs=70 elapsed=197us: quickcheck failed with counterexample: (13 0 0)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.814880733+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6908) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6908) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6908) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6908) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nFAIL: quickcheck AssignPanicSafe inputs=16 elapsed=94us: quickcheck failed with counterexample: (3 0 0)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.815999366+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6911) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6911) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6911) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6911) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6911) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6911) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6911) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6911) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6911) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nFAIL: quickcheck AssignPanicSafe inputs=46 elapsed=189us: quickcheck failed with counterexample: (13 0 0)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.817236153+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6914) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6914) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6914) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6914) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6914) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6914) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6914) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6914) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6914) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nFAIL: quickcheck AssignPanicSafe inputs=44 elapsed=140us: quickcheck failed with counterexample: (13 0 0)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.818433513+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6917) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6917) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6917) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6917) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6917) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6917) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6917) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6917) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6917) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6917) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6917) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nFAIL: quickcheck AssignPanicSafe inputs=48 elapsed=167us: quickcheck failed with counterexample: (13 0 0)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.819662827+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6920) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6920) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6920) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6920) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6920) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6920) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6920) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6920) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6920) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6920) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6920) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\nFAIL: quickcheck AssignPanicSafe inputs=64 elapsed=178us: quickcheck failed with counterexample: (2 107 0)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.821161722+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6923) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6923) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6923) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6923) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6923) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6923) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6923) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6923) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6923) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6923) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6923) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6923) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nFAIL: quickcheck AssignPanicSafe inputs=56 elapsed=190us: quickcheck failed with counterexample: (13 0 0)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "quickcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.822650787+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6926) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\n\nthread 'main' (6926) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6926) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6926) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6926) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6926) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6926) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6926) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6926) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6926) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6926) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6926) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6926) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6926) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\n\nthread 'main' (6926) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nFAIL: quickcheck AssignPanicSafe inputs=53 elapsed=209us: quickcheck failed with counterexample: (3 0 0)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.824478194+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6929) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: crabcheck AssignPanicSafe inputs=12 elapsed=66us: crabcheck failed with counterexample: (2 3 0)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.825584303+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6932) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: crabcheck AssignPanicSafe inputs=10 elapsed=63us: crabcheck failed with counterexample: (3 0 0)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.826671300+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6935) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: crabcheck AssignPanicSafe inputs=8 elapsed=70us: crabcheck failed with counterexample: (2 0 3)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.828020061+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6938) panicked at src/lib.rs:1619:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: crabcheck AssignPanicSafe inputs=22 elapsed=69us: crabcheck failed with counterexample: (4 3 1)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.829141734+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6941) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: crabcheck AssignPanicSafe inputs=8 elapsed=54us: crabcheck failed with counterexample: (3 0 0)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.830219855+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6944) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: crabcheck AssignPanicSafe inputs=11 elapsed=53us: crabcheck failed with counterexample: (3 0 1)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.831338868+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6947) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: crabcheck AssignPanicSafe inputs=13 elapsed=61us: crabcheck failed with counterexample: (2 3 0)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.832431891+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6950) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: crabcheck AssignPanicSafe inputs=22 elapsed=64us: crabcheck failed with counterexample: (3 4 3)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.833540523+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6953) panicked at src/lib.rs:1618:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: crabcheck AssignPanicSafe inputs=10 elapsed=62us: crabcheck failed with counterexample: (3 1 0)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "crabcheck", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.834615945+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: \nthread 'main' (6956) panicked at src/lib.rs:1617:1:\nAssign operation on NotNan resulted in NaN\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: crabcheck AssignPanicSafe inputs=8 elapsed=50us: crabcheck failed with counterexample: (2 1 3)\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 0, "timeout": 60.0, "timestamp": "2026-04-30T16:52:15.836303296+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 3\nDraw 2: 0\nDraw 3: 0\nthread 'main' (1) panicked at src/bin/etna.rs:460:21:\nNotNan Div= after (0, 0) left inner NaN — not panic-safe\n\nthread 'main' (6959) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel AssignPanicSafe inputs=22 elapsed=200093us: hegel found counterexample: Property test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 1, "timeout": 60.0, "timestamp": "2026-04-30T16:52:16.037722049+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 3\nDraw 2: 0\nDraw 3: 0\nthread 'main' (1) panicked at src/bin/etna.rs:460:21:\nNotNan Div= after (0, 0) left inner NaN — not panic-safe\n\nthread 'main' (6967) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel AssignPanicSafe inputs=22 elapsed=202682us: hegel found counterexample: Property test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 2, "timeout": 60.0, "timestamp": "2026-04-30T16:52:16.242122243+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 3\nDraw 2: 0\nDraw 3: 0\nthread 'main' (1) panicked at src/bin/etna.rs:460:21:\nNotNan Div= after (0, 0) left inner NaN — not panic-safe\n\nthread 'main' (6976) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel AssignPanicSafe inputs=22 elapsed=203433us: hegel found counterexample: Property test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 3, "timeout": 60.0, "timestamp": "2026-04-30T16:52:16.447320420+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 3\nDraw 2: 0\nDraw 3: 0\nthread 'main' (1) panicked at src/bin/etna.rs:460:21:\nNotNan Div= after (0, 0) left inner NaN — not panic-safe\n\nthread 'main' (6984) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel AssignPanicSafe inputs=22 elapsed=212944us: hegel found counterexample: Property test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 4, "timeout": 60.0, "timestamp": "2026-04-30T16:52:16.662093168+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 3\nDraw 2: 0\nDraw 3: 0\nthread 'main' (1) panicked at src/bin/etna.rs:460:21:\nNotNan Div= after (0, 0) left inner NaN — not panic-safe\n\nthread 'main' (6992) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel AssignPanicSafe inputs=22 elapsed=200216us: hegel found counterexample: Property test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 5, "timeout": 60.0, "timestamp": "2026-04-30T16:52:16.863893414+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 3\nDraw 2: 0\nDraw 3: 0\nthread 'main' (1) panicked at src/bin/etna.rs:460:21:\nNotNan Div= after (0, 0) left inner NaN — not panic-safe\n\nthread 'main' (7000) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel AssignPanicSafe inputs=22 elapsed=197941us: hegel found counterexample: Property test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 6, "timeout": 60.0, "timestamp": "2026-04-30T16:52:17.063403738+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 3\nDraw 2: 0\nDraw 3: 0\nthread 'main' (1) panicked at src/bin/etna.rs:460:21:\nNotNan Div= after (0, 0) left inner NaN — not panic-safe\n\nthread 'main' (7008) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel AssignPanicSafe inputs=22 elapsed=201657us: hegel found counterexample: Property test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 7, "timeout": 60.0, "timestamp": "2026-04-30T16:52:17.266877394+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 3\nDraw 2: 0\nDraw 3: 0\nthread 'main' (1) panicked at src/bin/etna.rs:460:21:\nNotNan Div= after (0, 0) left inner NaN — not panic-safe\n\nthread 'main' (7016) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel AssignPanicSafe inputs=22 elapsed=211995us: hegel found counterexample: Property test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 8, "timeout": 60.0, "timestamp": "2026-04-30T16:52:17.480921865+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 3\nDraw 2: 0\nDraw 3: 0\nthread 'main' (1) panicked at src/bin/etna.rs:460:21:\nNotNan Div= after (0, 0) left inner NaN — not panic-safe\n\nthread 'main' (7024) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel AssignPanicSafe inputs=22 elapsed=217309us: hegel found counterexample: Property test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" }, { "experiment": "ci-run", "workload": "ordered-float", "language": "rust", "strategy": "hegel", "property": "AssignPanicSafe", "mutations": [ "notnan_assign_not_panic_safe_c55cda3_1" ], "mode": "solve", "trial": 9, "timeout": 60.0, "timestamp": "2026-04-30T16:52:17.699990951+00:00", "status": "aborted", "error": "Process failed with status: exit status: 1\nstderr: Draw 1: 3\nDraw 2: 0\nDraw 3: 0\nthread 'main' (1) panicked at src/bin/etna.rs:460:21:\nNotNan Div= after (0, 0) left inner NaN — not panic-safe\n\nthread 'main' (7032) panicked at /home/runner/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/hegeltest-0.3.7/src/runner.rs:816:13:\nProperty test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\nnote: run with `RUST_BACKTRACE=1` environment variable to display a backtrace\nFAIL: hegel AssignPanicSafe inputs=22 elapsed=218117us: hegel found counterexample: Property test failed: NotNan Div= after (0, 0) left inner NaN — not panic-safe\n", "hash": "61bdb4d64b5c98df3ff2fea5eab39cd6be376d9c" } ] }