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

Fix property

Browse Source
This commit is contained in:
Thomas Arts 2019-05-29 08:31:04 +02:00
parent f7a4c40c50
commit 0d6322c0aa
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
quickcheck/aefate_eqc.erl
View File

@ -54,10 +54,11 @@ prop_fuzz() ->
?FORALL(Binary, ?LET(FateData, fate_data(), aeb_fate_encoding:serialize(FateData)), ?FORALL(Binary, ?LET(FateData, fate_data(), aeb_fate_encoding:serialize(FateData)),
?FORALL(InjectedBin, injection(Binary), ?FORALL(InjectedBin, injection(Binary),
try Org = aeb_fate_encoding:deserialize(InjectedBin), try Org = aeb_fate_encoding:deserialize(InjectedBin),
NewBin = aeb_fate_coding:serialize(Org), NewBin = aeb_fate_encoding:serialize(Org),
NewOrg = aeb_fate_coding:deserialize(NewBin), NewOrg = aeb_fate_encoding:deserialize(NewBin),
measure(success, 1,
?WHENFAIL(eqc:format("Deserialize ~p gives\n~p\nSerializes to ~p\n", [InjectedBin, Org, NewOrg]), ?WHENFAIL(eqc:format("Deserialize ~p gives\n~p\nSerializes to ~p\n", [InjectedBin, Org, NewOrg]),
equals(NewBin, InjectedBin)) equals(NewBin, InjectedBin)))
catch _:_ -> catch _:_ ->
true true
end))). end))).