Three new opcodes had been added

2019-06-17 13:57:01 +02:00 · 2019-06-17 13:57:01 +02:00 · 803ebc0854
commit 803ebc0854
parent 7e96e3baef
1 changed files with 1 additions and 1 deletions
--- a/quickcheck/aefate_code_eqc.erl
+++ b/quickcheck/aefate_code_eqc.erl
@ -71,7 +71,7 @@ prop_opcodes() ->


 valid_opcodes() ->
-    lists:seq(0, 16#72) ++ lists:seq(16#fa, 16#fd).
+    lists:seq(0, 16#75) ++ lists:seq(16#fa, 16#fd).


 fate_code(Failure) ->