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

Use typereps for registering oracles

Browse Source
This commit is contained in:
Tobias Lindahl 2019-06-07 13:10:13 +02:00
parent 2357813f49
commit 0d57563b49
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
test/aeb_fate_asm_test.erl
View File

@ -47,6 +47,7 @@ sources() ->
, "tuple" , "tuple"
, "mapofmap" , "mapofmap"
, "immediates" , "immediates"
, "oracles"
%% , "all_instructions" %% , "all_instructions"
]. ].

5
test/asm_code/oracles.fate Normal file
View File

@ -0,0 +1,5 @@
;; CONTRACT oracles
FUNCTION register (address, integer) : oracle
ORACLE_REGISTER a arg0 () arg1 'string '{variant, [{tuple, []}, {tuple, [integer]}]}
RETURN