QPQ-AG/gmbytecode
10
0
Fork 0
Code Issues 1 Pull Requests 1 Actions Packages Projects Releases 9 Wiki Activity

Update quickcheck/aefate_code_eqc.erl

Browse Source 
Co-Authored-By: Hans Svensson <hanssv@gmail.com>
This commit is contained in:
Thomas Arts 2019-08-23 15:50:39 +02:00 committed by GitHub
parent f31887c2ed
commit 59b7b786ac
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
quickcheck/aefate_code_eqc.erl
View File

@ -85,7 +85,7 @@ fate_code(Failure) ->
?LET({FMap, SMap, AMap}, ?LET({FMap, SMap, AMap},
{non_empty(map(if Failure == 1 -> binary(1); {non_empty(map(if Failure == 1 -> binary(1);
true -> binary(4) end, true -> binary(4) end,
{sublist(lists:sort([private, payable])), %% serialzing is sorting them {sublist(lists:sort([private, payable])), %% deserialize sorts them
{list(aefate_type_eqc:fate_type(Size div 3)), aefate_type_eqc:fate_type(Size div 3)}, bbs_code(Failure)})), {list(aefate_type_eqc:fate_type(Size div 3)), aefate_type_eqc:fate_type(Size div 3)}, bbs_code(Failure)})),
small_map(small_fate_data_key(5), small_fate_data(4)), small_map(small_fate_data_key(5), small_fate_data(4)),
small_map(small_fate_data_key(5), small_fate_data(4))}, small_map(small_fate_data_key(5), small_fate_data(4))},