From cece4c455438850300b6ea472ec7831928d80307 Mon Sep 17 00:00:00 2001 From: Stephen Waits Date: Tue, 13 Oct 2026 14:39:18 -0600 Subject: [PATCH] test: restore properties.proptest-regressions (deleted by mistake) proptest replays the failing cases saved there on every run; it is checked in on purpose (the max-testing playbook: keep the framework's failure database). Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01GWVo7x3UHw5kwCUaWxiejX --- crates/ledger-core/tests/properties.proptest-regressions | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 crates/ledger-core/tests/properties.proptest-regressions diff --git a/crates/ledger-core/tests/properties.proptest-regressions b/crates/ledger-core/tests/properties.proptest-regressions new file mode 100644 index 0000000..14c8aaf --- /dev/null +++ b/crates/ledger-core/tests/properties.proptest-regressions @@ -0,0 +1,8 @@ +# Seeds for failure cases proptest has generated in the past. It is +# automatically read and these particular cases re-run before any +# novel cases are generated. +# +# It is recommended to check this file in to source control so that +# everyone who runs the test benefits from these saved cases. +cc 973b72cb286deab3cabcf8a48a797a1aa76e660f1a6f3a7046d02f655ad467a6 # shrinks to cents = 8074248648, shares = [0.0877914951989026063100137174, 0.327846364883401920438957476, 0.2235939643347050754458161866, 0.3607681755829903978052126200] +cc 181075cd6abb81d059781749aadb13e990e59e6658279089e173fe655bd6bcf2 # shrinks to cents = 4209937262, shares = [0.3215789473684210526315789474, 0.2426315789473684210526315789, 0.1663157894736842105263157895, 0.2694736842105263157894736842]