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

Pt 165173962 fuzz testing aefate #161

Merged
zxq9 merged 36 commits from PT-165173962-fuzz-testing-aefate into master 2019-06-04 01:37:50 +09:00
Conversation 4 Commits 36 Files Changed 12 +3 -3
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit e8390e52d1 - Show all commits

6
src/aeb_fate_data.erl
View File

@ -278,13 +278,13 @@ lt(13, ?FATE_LIST_VALUE([A|RA]), ?FATE_LIST_VALUE([B|RB])) ->
lt(14, ?FATE_VARIANT(AritiesA, TagA, TA),
?FATE_VARIANT(AritiesB, TagB, TB)) ->
if length(AritiesA) < length(AritiesB) -> true;
length(AritiesB) > length(AritiesA) -> false;
length(AritiesA) > length(AritiesB) -> false;
true ->
if AritiesA < AritiesB -> true;
AritiesB < AritiesA -> false;
AritiesA > AritiesB -> false;
true ->
if TagA < TagB -> true;
TagB < TagA -> false;
TagA > TagB -> false;
true -> lt(make_tuple(TA), make_tuple(TB))
end
end