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

Add AUTH_TX to FATE operations #207

Merged
zxq9 merged 1 commits from GH-202-Auth_tx_introspection into master 2020-02-11 22:18:40 +09:00
Conversation 4 Commits 1 Files Changed 2 +2 -1
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
quickcheck/aefate_code_eqc.erl
View File

@ -77,7 +77,7 @@ prop_opcodes() ->
valid_opcodes() ->
lists:seq(0, 16#9a) ++ lists:seq(16#fa, 16#fd).
lists:seq(0, 16#9b) ++ lists:seq(16#fa, 16#fd).
fate_code(Failure) ->

1
src/aeb_fate_generate_ops.erl
View File

@ -211,6 +211,7 @@ ops_defs() ->
, { 'AENS_LOOKUP', 16#99, false, false, true, 100, [a,a], aens_lookup, {string}, variant, "Lookup the name of Arg0. Returns option(AENS.name)"}
, { 'ORACLE_EXPIRY', 16#9a, false, false, true, 100, [a,a], oracle_expiry, {oracle}, int, "Arg0 := expiry block for oracle Arg1"}
, { 'AUTH_TX', 16#9b, false, true, true, 100, [a], auth_tx, {}, variant, "If in GA authentication context return Some(Tx) otherwise None."}
, { 'DEACTIVATE', 16#fa, false, true, true, 10, [], deactivate, {}, none, "Mark the current contract for deactivation."}
, { 'ABORT', 16#fb, true, true, true, 10, [a], abort, {string}, none, "Abort execution (dont use all gas) with error message in Arg0."}