From e3e2f7137be43771aace42694c8d5112f6849039 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Thu, 12 Jul 2018 00:37:54 +0100
Subject: Fixes for ARM Sail tests, and get_time_ns for interpreter

---
 src/value.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/value.ml b/src/value.ml
index 41b52720..1d2346af 100644
--- a/src/value.ml
+++ b/src/value.ml
@@ -561,6 +561,7 @@ let primops =
       ("write_ram", value_write_ram);
       ("trace_memory_read", fun _ -> V_unit);
       ("trace_memory_write", fun _ -> V_unit);
+      ("get_time_ns", fun _ -> V_int (Sail_lib.get_time_ns()));
       ("load_raw", value_load_raw);
       ("to_real", value_to_real);
       ("eq_real", value_eq_real);
-- 
cgit v1.2.3