test: proptest with too many objects

This commit is contained in:
MaxOhn
2023-11-03 14:30:08 +01:00
parent 383ca169dd
commit 21bf030690
6 changed files with 23 additions and 14 deletions
+1
View File
@@ -18,3 +18,4 @@ cc 049e6f4db0c2cd283843a6d777d7fbf3001e07eb39eb8ae23338e6f371fffd24 # shrinks to
cc 8067939c5014c26f15a25c1255fbc3452f42b159be3b1271029ba577a7da5af3 # shrinks to acc = 0.6801960172852813, n320 = Some(0), n300 = None, n200 = None, n100 = Some(0), n50 = None, n_misses = None, best_case = false
cc 0924f546edd96e86ee6163aa08dd6b77fc5a6219be6766a5b5d3b6d0caa80145 # shrinks to acc = 0.5630003027452851, n320 = None, n300 = None, n200 = Some(4), n100 = None, n50 = Some(37), n_misses = None, best_case = false
cc a3c828166cc0a217e7a4e2d3592372209f886b6ea78a3da40664f3201df5a49b # shrinks to acc = 0.0, n320 = Some(0), n300 = Some(66), n200 = None, n100 = None, n50 = None, n_misses = Some(529), best_case = false
cc 1d15772c531f04fc3c0cc28ce76cf219ce7db950f36d3688bc01714a72fb8e5a # shrinks to acc = 0.0, n320 = None, n300 = None, n200 = None, n100 = None, n50 = None, n_misses = Some(595), best_case = false
+1
View File
@@ -11,3 +11,4 @@ cc 6df5e623c62ffa2830f17f4e7a9bb573cb3eb4c4c45bc3c0793aad26aa72cf95 # shrinks to
cc e5a861f6c665dd09e46423e71d7596edf98897d4130d3144aa6f5be580f31a8b # shrinks to acc = 0.0, combo = None, n300 = None, n100 = Some(293), n50 = None, n_misses = Some(309), best_case = false
cc 2cd5c105bcca0b4255afccc15bee3894b06bd20ac3f5c5d3b785f7e0ef99df46 # shrinks to acc = 0.0, combo = None, n300 = Some(0), n100 = None, n50 = Some(479), n_misses = Some(123), best_case = false
cc 2cba8a76243aac7233e9207a3162aaa1f08f933c0cb3a2ac79580ece3a7329fc # shrinks to acc = 0.0, n300 = Some(0), n100 = Some(0), n50 = Some(0), n_misses = None, best_case = false
cc e93787ad8a849ec6d05750c8d09494b8f5a9fa785f843d9a8e2db986c0b32645 # shrinks to acc = 0.0, n300 = None, n100 = None, n50 = None, n_misses = Some(602), best_case = false
+1
View File
@@ -9,3 +9,4 @@ cc 84792fb0ec8971122d0eb2e61355a637e9326ac2b7469226bba06a2defdc44dd # shrinks to
cc 94fb95e246e580e010115334e5fd7de6160b3a24a735e4cb4ab4341f5f7b769e # shrinks to acc = 0.0, n300 = Some(0), n100 = Some(1), n_misses = None, best_case = false
cc fcc52507f0304061f5b94a7aa8bb5cc40e7156effe1e2c3434161a5c152409d0 # shrinks to acc = 0.0, n300 = None, n100 = Some(1), n_misses = None, best_case = false
cc 8d6b15c9881ebf33b1b91bb9398264048b28a95cb902f747af6c8320063c21a6 # shrinks to acc = 0.0, n300 = Some(240), n100 = Some(50), n_misses = None, best_case = false
cc eda23b52ad1453caba35977df01c1aecf4151a8fc64968fec38f66e2b4970422 # shrinks to acc = 0.0, n300 = None, n100 = None, n_misses = Some(290), best_case = false
+8 -6
View File
@@ -966,6 +966,8 @@ mod tests {
n_misses: usize,
best_case: bool,
) -> ManiaScoreState {
let n_misses = n_misses.min(N_OBJECTS);
let mut best_state = ManiaScoreState {
n_misses,
..Default::default()
@@ -1165,12 +1167,12 @@ mod tests {
#[test]
fn mania_hitresults(
acc in 0.0..=1.0,
n320 in option::weighted(0.10, 0_usize..=N_OBJECTS),
n300 in option::weighted(0.10, 0_usize..=N_OBJECTS),
n200 in option::weighted(0.10, 0_usize..=N_OBJECTS),
n100 in option::weighted(0.10, 0_usize..=N_OBJECTS),
n50 in option::weighted(0.10, 0_usize..=N_OBJECTS),
n_misses in option::weighted(0.15, 0_usize..=N_OBJECTS),
n320 in option::weighted(0.10, 0_usize..=N_OBJECTS + 10),
n300 in option::weighted(0.10, 0_usize..=N_OBJECTS + 10),
n200 in option::weighted(0.10, 0_usize..=N_OBJECTS + 10),
n100 in option::weighted(0.10, 0_usize..=N_OBJECTS + 10),
n50 in option::weighted(0.10, 0_usize..=N_OBJECTS + 10),
n_misses in option::weighted(0.15, 0_usize..=N_OBJECTS + 10),
best_case in prop::bool::ANY,
) {
let (map, attrs) = test_data();
+7 -5
View File
@@ -848,6 +848,8 @@ mod test {
n_misses: usize,
best_case: bool,
) -> OsuScoreState {
let n_misses = n_misses.min(N_OBJECTS);
let mut best_state = OsuScoreState {
n_misses,
..Default::default()
@@ -929,10 +931,10 @@ mod test {
#[test]
fn osu_hitresults(
acc in 0.0..=1.0,
n300 in option::weighted(0.10, 0_usize..=N_OBJECTS),
n100 in option::weighted(0.10, 0_usize..=N_OBJECTS),
n50 in option::weighted(0.10, 0_usize..=N_OBJECTS),
n_misses in option::weighted(0.15, 0_usize..=N_OBJECTS),
n300 in option::weighted(0.10, 0_usize..=N_OBJECTS + 10),
n100 in option::weighted(0.10, 0_usize..=N_OBJECTS + 10),
n50 in option::weighted(0.10, 0_usize..=N_OBJECTS + 10),
n_misses in option::weighted(0.15, 0_usize..=N_OBJECTS + 10),
best_case in prop::bool::ANY,
) {
let (map, attrs) = test_data();
@@ -975,7 +977,7 @@ mod test {
n_misses.unwrap_or(0),
best_case,
);
expected.max_combo = max_combo.saturating_sub(n_misses.unwrap_or(0));
expected.max_combo = max_combo.saturating_sub(n_misses.map_or(0, |n| n.min(N_OBJECTS)));
assert_eq!(state, expected);
}
+5 -3
View File
@@ -573,6 +573,8 @@ mod test {
n_misses: usize,
best_case: bool,
) -> TaikoScoreState {
let n_misses = n_misses.min(MAX_COMBO);
let mut best_state = TaikoScoreState {
n_misses,
..Default::default()
@@ -626,9 +628,9 @@ mod test {
#[test]
fn taiko_hitresults(
acc in 0.0..=1.0,
n300 in option::weighted(0.10, 0_usize..=MAX_COMBO),
n100 in option::weighted(0.10, 0_usize..=MAX_COMBO),
n_misses in option::weighted(0.15, 0_usize..=MAX_COMBO),
n300 in option::weighted(0.10, 0_usize..=MAX_COMBO + 10),
n100 in option::weighted(0.10, 0_usize..=MAX_COMBO + 10),
n_misses in option::weighted(0.15, 0_usize..=MAX_COMBO + 10),
best_case in prop::bool::ANY,
) {
let (map, attrs) = test_data();