diff --git a/test/aeb_fate_asm_test.erl b/test/aeb_fate_asm_test.erl index 64fe2a1..42df184 100644 --- a/test/aeb_fate_asm_test.erl +++ b/test/aeb_fate_asm_test.erl @@ -47,6 +47,7 @@ sources() -> , "tuple" , "mapofmap" , "immediates" + , "oracles" %% , "all_instructions" ]. diff --git a/test/asm_code/oracles.fate b/test/asm_code/oracles.fate new file mode 100644 index 0000000..cb73571 --- /dev/null +++ b/test/asm_code/oracles.fate @@ -0,0 +1,5 @@ +;; CONTRACT oracles + +FUNCTION register (address, integer) : oracle + ORACLE_REGISTER a arg0 () arg1 'string '{variant, [{tuple, []}, {tuple, [integer]}]} + RETURN