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

MaxFiles static file deletion isn't good for make_zerf(). Add some no-partition scenarios

Browse source
This commit is contained in:
Scott Lystig Fritchie 2015-09-13 16:59:08 +09:00
parent f3a0ee91cf
commit 04369673b0
1 changed files with 6 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
test/machi_chain_manager1_converge_demo.erl
View file

@ -272,16 +272,10 @@ convergence_demo_testfun(NumFLUs, MgrOpts0) ->
io:format(user, "\nSweet, private projections are stable\n", []),
io:format(user, "\t~P\n", [get(stable), 14]),
io:format(user, "Rolling sanity check ... ", []),
MaxFiles = 20,
PrivProjs = [{Name, begin
{ok, Ps8} = ?FLU_PC:get_all_projections(
FLU, private, infinity),
Ps9 = if length(Ps8) < MaxFiles ->
Ps8;
true ->
lists:nthtail(MaxFiles, Ps8)
end,
[P || P <- Ps9,
[P || P <- Ps8,
P#projection_v1.epoch_number /= 0]
end} || {Name, FLU} <- Namez],
try
@ -300,6 +294,9 @@ convergence_demo_testfun(NumFLUs, MgrOpts0) ->
true = machi_chain_manager1_test:all_reports_are_disjoint(ReportXX),
io:format(user, "Yay for ReportXX!\n", []),
%% TODO: static count is not sufficient. Must not delete the last
%% private_proj_is_upi_unanimous projection!
MaxFiles = 123,
[begin
Privs = filelib:wildcard(Dir ++ "/projection/private/*"),
FilesToDel1 = lists:sublist(Privs,
@ -409,7 +406,8 @@ make_partition_list(All_list) ->
%% %% Concat = _X_Ys3,
%% Concat = _X_Ys1 ++ _X_Ys2 ++ _X_Ys3,
Concat = _X_Ys1 ++ _X_Ys2 ++ _X_Ys3 ++ _X_Ys4,
random_sort(lists:usort([lists:sort(L) || L <- Concat])).
NoPartitions = lists:duplicate(trunc(length(Concat) * 0.2), []),
random_sort(lists:usort([lists:sort(L) || L <- Concat]) ++ NoPartitions).
%% %% for len=5 and 2 witnesses
%% [