diff options
| author | Alasdair | 2018-07-12 00:37:54 +0100 |
|---|---|---|
| committer | Alasdair | 2018-07-12 00:38:23 +0100 |
| commit | e3e2f7137be43771aace42694c8d5112f6849039 (patch) | |
| tree | 094fab1ec602b5825795bb4ff05548f79715fb32 /src | |
| parent | 2a89faec667fdf24b93360d3da5f14eab161983b (diff) | |
Fixes for ARM Sail tests, and get_time_ns for interpreter
Diffstat (limited to 'src')
| -rw-r--r-- | src/value.ml | 1 |
1 files changed, 1 insertions, 0 deletions
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); |