From 0d57563b49bcf0ffb6dc9cf3f44bd9abe4715a38 Mon Sep 17 00:00:00 2001
From: Tobias Lindahl <tobias@happihacking.se>
Date: Fri, 7 Jun 2019 13:10:13 +0200
Subject: [PATCH] Use typereps for registering oracles

---
 test/aeb_fate_asm_test.erl | 1 +
 test/asm_code/oracles.fate | 5 +++++
 2 files changed, 6 insertions(+)
 create mode 100644 test/asm_code/oracles.fate

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