From 904eabad2f795adcaf214006f74ad6c970006d3b Mon Sep 17 00:00:00 2001 From: Anatoly Yakovenko Date: Mon, 14 May 2018 15:48:24 -0700 Subject: [PATCH] waint longer --- src/crdt.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/crdt.rs b/src/crdt.rs index 18c5fa698b..e72ab45d3c 100644 --- a/src/crdt.rs +++ b/src/crdt.rs @@ -678,7 +678,7 @@ mod test { //wait to converge trace!("waitng to converge:"); let mut done = false; - for _ in 0..10 { + for _ in 0..20 { done = a1.read().unwrap().table.len() == 3 && a2.read().unwrap().table.len() == 3 && a3.read().unwrap().table.len() == 3; if done {