QPQ-AG/gmbytecode
10
0
Fork 0
Code Issues 1 Pull Requests 1 Actions Packages Projects Releases 9 Wiki Activity

Add query to generate QuickCheck data

Browse Source
This commit is contained in:
Thomas Arts 2019-06-18 14:29:01 +02:00
parent 9840b22546
commit cb83224c60
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
quickcheck/aefate_eqc.erl
View File

@ -112,6 +112,7 @@ fate_data(0, _Options) ->
fate_signature(),
fate_contract(),
fate_oracle(),
fate_oracle_q(),
fate_name(),
fate_bits(),
fate_channel()]));
@ -142,6 +143,7 @@ fate_hash() -> {call, aeb_fate_data, make_hash, [non_zero_binary(32)]}.
fate_signature() -> {call, aeb_fate_data, make_signature, [non_zero_binary(64)]}.
fate_contract() -> {call, aeb_fate_data, make_contract, [non_zero_binary(256 div 8)]}.
fate_oracle() -> {call, aeb_fate_data, make_oracle, [non_zero_binary(256 div 8)]}.
fate_oracle_q() -> {call, aeb_fate_data, make_oracle_query, [non_zero_binary(256 div 8)]}.
fate_name() -> {call, aeb_fate_data, make_name, [non_zero_binary(256 div 8)]}.
fate_channel() -> {call, aeb_fate_data, make_channel, [non_zero_binary(256 div 8)]}.