diff --git a/quickcheck/aefate_code_eqc.erl b/quickcheck/aefate_code_eqc.erl index 3ac03da..45fc6b8 100644 --- a/quickcheck/aefate_code_eqc.erl +++ b/quickcheck/aefate_code_eqc.erl @@ -44,7 +44,7 @@ prop_opcodes() -> valid_opcodes() -> - lists:seq(0, 16#6f) ++ lists:seq(16#fa, 16#ff). + lists:seq(0, 16#72) ++ lists:seq(16#fa, 16#ff). fate_code() ->