diff --git a/quickcheck/aefate_code_eqc.erl b/quickcheck/aefate_code_eqc.erl index e412dfd..c2b8f87 100644 --- a/quickcheck/aefate_code_eqc.erl +++ b/quickcheck/aefate_code_eqc.erl @@ -77,7 +77,7 @@ prop_opcodes() -> valid_opcodes() -> - lists:seq(0, 16#7f) ++ lists:seq(16#fa, 16#fd). + lists:seq(0, 16#7d) ++ lists:seq(16#fa, 16#fd). fate_code(Failure) ->