Skip to content

Commit

Permalink
fix: relax bound checked in probabilistic check
Browse files Browse the repository at this point in the history
Fixes #375
  • Loading branch information
huitseeker committed Jun 28, 2022
1 parent a152f52 commit 348b199
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions narwhal/dag/src/node_dag.rs
Original file line number Diff line number Diff line change
Expand Up @@ -385,11 +385,14 @@ mod tests {
}

#[test]
//#[ignore = "Issue #375"]
fn test_dag_sanity_check(
dag in arb_dag_complete(10, 10)
) {
assert!(dag.len() <= 100);
// the `prop_recursive` combinator used in `arb_dag_complete` is actually probabilistic, see:
// https://github.com/AltSysrq/proptest/blob/master/proptest/src/strategy/recursive.rs#L83-L110
// so we can't test for our desired size here (100), we rather test for something that will pass
// with overwhelming probability
assert!(dag.len() <= 200);
}

#[test]
Expand Down

0 comments on commit 348b199

Please sign in to comment.