From a1127a39d7a49e6cb1cf50f5cc528628669b4725 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 27 Mar 2018 15:57:28 +0100
Subject: print IPS after running cheri model.

---
 src/sail_lib.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src')

diff --git a/src/sail_lib.ml b/src/sail_lib.ml
index e839d142..99ce04a5 100644
--- a/src/sail_lib.ml
+++ b/src/sail_lib.ml
@@ -591,3 +591,7 @@ let shift_bits_left (x, y) =
   shiftl (x, uint(y))
 
 let speculate_conditional_success () = true
+
+(* Return nanoseconds since epoch. Truncates to ocaml int but will be OK for next 100 years or so... *)
+let get_time_ns () = Big_int.of_int (int_of_float (1e9 *. Unix.gettimeofday ()))
+
-- 
cgit v1.2.3