Skip to content

Commit e516433

Browse files
committed
Get valid opcodes from instruction list
1 parent e5bdf58 commit e516433

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

quickcheck/aefate_code_eqc.erl

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -77,7 +77,7 @@ prop_opcodes() ->
7777

7878

7979
valid_opcodes() ->
80-
lists:seq(0, 16#a0) ++ lists:seq(16#fa, 16#fd).
80+
[ Op || #{opcode := Op} <- aeb_fate_generate_ops:get_ops() ].
8181

8282

8383
fate_code(Failure) ->

0 commit comments

Comments
 (0)