From 78c81f93b7ef9ed8a86721619d66a2ed1533221e Mon Sep 17 00:00:00 2001 From: Scott Lystig Fritchie Date: Fri, 3 Jul 2015 16:06:33 +0900 Subject: [PATCH] Make machi_chain_manager1_pulse max commands length longer --- test/machi_chain_manager1_pulse.erl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/machi_chain_manager1_pulse.erl b/test/machi_chain_manager1_pulse.erl index 7607e47..99f0066 100644 --- a/test/machi_chain_manager1_pulse.erl +++ b/test/machi_chain_manager1_pulse.erl @@ -280,7 +280,7 @@ dump_state() -> prop_pulse() -> ?FORALL({Cmds0, Seed}, {non_empty(commands(?MODULE)), pulse:seed()}, - ?IMPLIES(1 < length(Cmds0) andalso length(Cmds0) < 6, + ?IMPLIES(1 < length(Cmds0) andalso length(Cmds0) < 10, begin ok = shutdown_hard(), %% PULSE can be really unfair, of course, including having exec_ticks