greg/machi
1
0
Fork 0
Code Issues 11 Pull requests 1 Projects Releases Packages Wiki Activity Actions

Make machi_chain_manager1_pulse max commands length longer

Browse source
This commit is contained in:
Scott Lystig Fritchie 2015-07-03 16:06:33 +09:00
parent 2b64028bbd
commit 78c81f93b7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
test/machi_chain_manager1_pulse.erl
View file

@ -280,7 +280,7 @@ dump_state() ->
prop_pulse() -> prop_pulse() ->
?FORALL({Cmds0, Seed}, {non_empty(commands(?MODULE)), pulse:seed()}, ?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 begin
ok = shutdown_hard(), ok = shutdown_hard(),
%% PULSE can be really unfair, of course, including having exec_ticks %% PULSE can be really unfair, of course, including having exec_ticks