jedarden/miroir
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

test(router): configure proptest to run 1024 cases by default (P9.6)

Browse source 
- Add proptest_config(ProptestConfig::with_cases(1024)) to prop_write_targets_count
- Adjust test ranges (shard_count: 1..100, rf: 1..3, nodes_per_group: 3..10) to reduce rejects
- Remove unnecessary prop_assume!(shard_id < shard_count) since write_targets uses shard_id % shard_count internally

All 6 property tests now run at 1024 cases per plan §9.6 acceptance.

Closes: miroir-89x.6

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
This commit is contained in:
jedarden 2026-05-25 01:21:04 -04:00
parent 200a638c05
commit 6301456750
1 changed files with 7 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
crates/miroir-core/src/router.rs
View file

@ -976,15 +976,17 @@ mod tests {
/// exactly RG × RF node IDs (one per replica group), provided each group
/// has at least RF nodes.
proptest! {
#![proptest_config(ProptestConfig::with_cases(1024))]
#[test]
fn prop_write_targets_count(
shard_count in 1u32..1000u32,
shard_count in 1u32..100u32,
replica_groups in 1u32..10u32,
rf in 1u32..5u32,
nodes_per_group in 1usize..10usize,
shard_id in 0u32..1000u32,
rf in 1u32..3u32,
nodes_per_group in 3usize..10usize,
shard_id in 0u32..100u32,
) {
prop_assume!(shard_id < shard_count);
// Note: write_targets uses shard_id % shard_count internally
let rf = rf as usize;
let replica_groups = replica_groups as usize;