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

Add unit tests for all oracle instructions

Browse Source
This commit is contained in:
Tobias Lindahl 2019-06-18 13:13:13 +02:00
parent d363bc75c3
commit 496ee2734c
1 changed files with 21 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
test/asm_code/oracles.fate
View File

@ -1,7 +1,7 @@
;; CONTRACT oracles ;; CONTRACT oracles
FUNCTION register (address, integer, {variant, [{tuple, [integer]}, {tuple, [integer]}]}) : oracle FUNCTION register (address, integer, {variant, [{tuple, [integer]}, {tuple, [integer]}]}) : oracle
ORACLE_REGISTER a "0000000000000000000000000000000000000000000000000000000000000000" arg0 arg1 arg2 'string '{variant, [{tuple, []}, {tuple, [integer]}]} ORACLE_REGISTER a $sg_11111111111111111111111111111111111111111111111111111111111111116oUsJe arg0 arg1 arg2 'string '{variant, [{tuple, []}, {tuple, [integer]}]}
RETURN RETURN
FUNCTION query (oracle, integer, string) : oracle_query FUNCTION query (oracle, integer, string) : oracle_query
@ -10,3 +10,23 @@ FUNCTION query (oracle, integer, string) : oracle_query
FUNCTION bogus_query () : oracle_query FUNCTION bogus_query () : oracle_query
RETURNR @oq_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv RETURNR @oq_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv
FUNCTION respond (oracle, integer, string) : {tuple, []}
ORACLE_RESPOND $sg_11111111111111111111111111111111111111111111111111111111111111116oUsJe arg0 arg1 arg2
RETURNR {}
FUNCTION extend (oracle, {variant, [{tuple, [integer]}, {tuple, [integer]}]}) : {tuple, []}
ORACLE_EXTEND $sg_11111111111111111111111111111111111111111111111111111111111111116oUsJe arg0 arg1
RETURNR {}
FUNCTION get_question (oracle, oracle_query) : string
ORACLE_GET_QUESTION arg0 arg1
RETURN
FUNCTION get_answer (oracle, oracle_query) : {variant, [{tuple, []}, {tuple, [string]}]}
ORACLE_GET_ANSWER arg0 arg1
RETURN
FUNCTION query_fee (oracle) : integer
ORACLE_QUERY_FEE arg0
RETURN