feat: Add missing test for Committee::to_next_round()

AleoNet · Jul 6, 2023 · 7a896a6 · 7a896a6
1 parent ff67ccb
commit 7a896a6
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/node/narwhal/src/helpers/committee.rs b/node/narwhal/src/helpers/committee.rs
@@ -169,6 +169,18 @@ pub mod tests {
         }
     }
 
+    #[proptest]
+    fn committee_advance(#[filter(CommitteeInput::is_valid)] input: CommitteeInput) {
+        let committee = input.to_committee().unwrap();
+        let current_round = input.round;
+        let current_members = committee.members();
+        assert_eq!(committee.round(), current_round);
+
+        let committee = committee.to_next_round().unwrap();
+        assert_eq!(committee.round(), current_round + 1);
+        assert_eq!(committee.members(), current_members);
+    }
+
     #[proptest]
     fn committee_members(input: CommitteeInput) {
         let committee = match input.to_committee() {