Merge pull request #2125 from input-output-hk/curiecrypt/flaky-proptests

Fix for Failing STM Proptests
input-output-hk · Nov 19, 2024 · 43b267a · 43b267a
2 parents 9e85530 + 414527f
commit 43b267a
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/mithril-stm/Cargo.toml b/mithril-stm/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "mithril-stm"
-version = "0.3.31"
+version = "0.3.32"
 edition = { workspace = true }
 authors = { workspace = true }
 homepage = { workspace = true }

diff --git a/mithril-stm/src/stm.rs b/mithril-stm/src/stm.rs
@@ -1278,7 +1278,7 @@ mod tests {
         /// Test that batch verification of certificates works
         fn batch_verify(nparties in 2_usize..30,
                               m in 10_u64..20,
-                              k in 1_u64..5,
+                              k in 1_u64..4,
                               seed in any::<[u8;32]>(),
                               batch_size in 2..10,
         ) {
@@ -1290,7 +1290,7 @@ mod tests {
             for _ in 0..batch_size {
                 let mut msg = [0u8; 32];
                 rng.fill_bytes(&mut msg);
-                let params = StmParameters { m, k, phi_f: 0.8 };
+                let params = StmParameters { m, k, phi_f: 0.95 };
                 let ps = setup_equal_parties(params, nparties);
                 let clerk = StmClerk::from_signer(&ps[0]);