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

Extend model to find {stack, N} errors as argument

Browse Source
This commit is contained in:
Thomas Arts 2019-05-28 19:09:25 +02:00
parent 45ff418699
commit 73c80e1168
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

@ -43,7 +43,7 @@ prop_fail_serializes() ->
?FORALL(FateCode, fate_code(Failure), ?FORALL(FateCode, fate_code(Failure),
?FORALL(Binary, catch aeb_fate_code:serialize(FateCode), ?FORALL(Binary, catch aeb_fate_code:serialize(FateCode),
is_binary(aeb_fate_code:serialize(FateCode))))) is_binary(aeb_fate_code:serialize(FateCode)))))
=/= true} || Failure <- [1,2,3,4] ]). =/= true} || Failure <- [1,2,3,4, 5] ]).
prop_fuzz() -> prop_fuzz() ->
in_parallel( in_parallel(