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

More dsitintc fault injection

Browse Source
This commit is contained in:
Thomas Arts 2019-05-28 18:23:39 +02:00
parent 032277ae8b
commit 45ff418699
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
quickcheck/aefate_code_eqc.erl
View File

@ -97,7 +97,8 @@ bb_code(Failure) ->
EndBB = [ Op || Op <- valid_opcodes(), aeb_fate_opcodes:end_bb(Op) ], EndBB = [ Op || Op <- valid_opcodes(), aeb_fate_opcodes:end_bb(Op) ],
NonEndBB = valid_opcodes() -- EndBB, NonEndBB = valid_opcodes() -- EndBB,
frequency( frequency(
[{if Failure == 3 -> 5; true -> 0 end, ?LET(Ops, non_empty(list(elements(valid_opcodes()))), bblock(Failure, Ops))}, [{if Failure == 3 -> 5; true -> 0 end, ?LET(Ops, non_empty(list(elements(NonEndBB))), bblock(Failure, Ops))},
{if Failure == 4 -> 5; true -> 0 end, ?LET({Ops, Op}, {list(elements(valid_opcodes())), elements(EndBB)}, bblock(Failure, Ops ++ [Op]))},
{10, ?LET({Ops, Op}, {list(elements(NonEndBB)), elements(EndBB)}, {10, ?LET({Ops, Op}, {list(elements(NonEndBB)), elements(EndBB)},
bblock(Failure, Ops ++ [Op]))}]). bblock(Failure, Ops ++ [Op]))}]).
@ -108,7 +109,7 @@ bblock(Failure, Ops) ->
case Arity of case Arity of
0 -> Mnemonic; 0 -> Mnemonic;
_ -> list_to_tuple([Mnemonic | _ -> list_to_tuple([Mnemonic |
[ frequency([{if Failure == 4 -> 5; true -> 0 end, {stack, nat()}}, [ frequency([{if Failure == 5 -> 5; true -> 0 end, {stack, nat()}},
{5, {stack, 0}}, {5, {stack, 0}},
{5, {arg, nat()}}, {5, {arg, nat()}},
{5, {var, nat()}}, {5, {var, nat()}},