Add two more opcodes

2019-05-28 12:23:21 +02:00 · 2019-05-28 12:23:21 +02:00 · 4a90e3b2b4
commit 4a90e3b2b4
parent 8b7fefc8a9
1 changed files with 1 additions and 1 deletions
--- 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() ->