Merge pull request #108 from bastion-rs/redundancy-boundaries

Fixed children redundancy tests

bastion/src/children.rs

@@ -335,7 +335,12 @@ impl Children {
             self.id(),
             redundancy
         );
-        self.redundancy = redundancy;
+        if redundancy == std::usize::MIN {
+            self.redundancy = redundancy.saturating_add(1);
+        } else {
+            self.redundancy = redundancy;
+        }
+
         self
     }
 

bastion/tests/prop_children_broadcast.rs

@@ -1,6 +1,5 @@
 use bastion::prelude::*;
 use proptest::prelude::*;
-
 use std::sync::Once;
 
 static START: Once = Once::new();

bastion/tests/prop_children_redundancy.rs

@@ -1,9 +1,18 @@
 use bastion::prelude::*;
 use proptest::prelude::*;
+use std::sync::Once;
+
+static START: Once = Once::new();
 
 proptest! {
+    #![proptest_config(ProptestConfig::with_cases(1_000))]
     #[test]
-    fn proptest_redundancy(r in std::usize::MIN..std::usize::MAX) {
+    fn proptest_redundancy(r in std::usize::MIN..32) {
+        START.call_once(|| {
+            Bastion::init();
+        });
+        Bastion::start();
+
         Bastion::children(|children| {
             children
                 // shrink over the redundancy