From 96537889753c222279e3937495dbc56054b377b9 Mon Sep 17 00:00:00 2001
From: ziv <ziv@mit.edu>
Date: Sun, 15 Nov 2015 18:10:24 -0500
Subject: Add small benchmark (WIP).

---
 caching-tests/bench.urs | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 caching-tests/bench.urs

(limited to 'caching-tests/bench.urs')

diff --git a/caching-tests/bench.urs b/caching-tests/bench.urs
new file mode 100644
index 00000000..0f780541
--- /dev/null
+++ b/caching-tests/bench.urs
@@ -0,0 +1 @@
+val main : int -> int -> transaction page
-- 
cgit v1.2.3