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

Add machi_ap_repair_eqc:sublist()

Browse source
This commit is contained in:
Scott Lystig Fritchie 2015-12-02 15:24:24 +09:00
parent 29c2ede275
commit 2f95305292
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
test/machi_ap_repair_eqc.erl
View file

@ -218,6 +218,11 @@ sublist(L) ->
?LET(L2, eqc_gen:vector(K, eqc_gen:oneof(L)), ?LET(L2, eqc_gen:vector(K, eqc_gen:oneof(L)),
lists:usort(L2))). lists:usort(L2))).
sublist(L) ->
?LET(K, nat(),
?LET(L2, eqc_gen:vector(K, eqc_gen:oneof(L)),
lists:usort(L2))).
%% Generator for possibly assymmetric partition information %% Generator for possibly assymmetric partition information
partition(FLUNames) -> partition(FLUNames) ->
frequency([{10, return([])}, frequency([{10, return([])},