masi/solvecraft
1
0
Fork 0
mirror of https://github.com/bherbruck/solidcraft.git synced 2026-11-10 18:55:14 +00:00
Code Issues Packages Projects Releases 1 Wiki Activity

convert: flat parity pins the bodies that differ, not the corpus size (#13999)

Browse Source 
The corpus grows as cases are added, so the merged kernel -> main sync saw
1,337 bodies instead of 1,332 (all five new ones identical) and failed.
Every differing body is already pinned by name; the totals now check that
the rest are identical or within rounding.

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
bherbruck
2026-11-09 00:27:13 -05:00
committed by GitHub
parent 8f13e948a9
commit 8ffb97d541
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
solidcore/crates/solidcore-convert/tests/flat_parity.rs
Vendored
+5 -3
View File
@@ -582,10 +582,12 @@ fn parity(stride: usize) {
missing.is_empty(),
"pinned bodies that no longer differ: {missing:#?}"
);
// The corpus grows as cases are added, so the totals aren't pinned: every body that
// differs is pinned above, and the rest must be identical or within rounding.
assert_eq!(
(t.bodies, t.identical, t.rounding_only),
(1332, 1256, 36),
"bodies, identical, within rounding"
(t.bodies - t.identical - t.rounding_only, t.rounding_only),
(pinned.len(), 36),
"bodies that differ, bodies within rounding"
);
// the largest rounding difference, relative (#3137: 4.885e-16)
assert!(t.rounding_largest <= 4.9e-16, "{:e}", t.rounding_largest);