diff options
| author | Robert Norton | 2018-03-27 15:57:28 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-03-27 15:58:53 +0100 |
| commit | a1127a39d7a49e6cb1cf50f5cc528628669b4725 (patch) | |
| tree | 35269cd9dc8590f091b83ee2caf13af0ea8c4fc1 /src | |
| parent | 8ada249efc7ae202c4a70af396ce5c771acd3de4 (diff) | |
print IPS after running cheri model.
Diffstat (limited to 'src')
| -rw-r--r-- | src/sail_lib.ml | 4 |
1 files changed, 4 insertions, 0 deletions
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 ())) + |