diff options
| author | Robert Norton | 2018-06-22 13:23:29 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-06-22 13:23:29 +0100 |
| commit | 2f8e0b78531473a5c519b998f0750eec2bb68cb8 (patch) | |
| tree | 31256131ea9582dc0746a56656ab2c493b6d0ccc /src/sail_lib.ml | |
| parent | 7ef0bba057d634f7596f94000233cd36ebdd2fff (diff) | |
add support for new cycle_limit feature in mips.
Diffstat (limited to 'src/sail_lib.ml')
| -rw-r--r-- | src/sail_lib.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/sail_lib.ml b/src/sail_lib.ml index 08a65b13..ab621342 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -798,3 +798,5 @@ let load_raw (paddr, file) = with | End_of_file -> () +(* XXX this could count cycles and exit after given limit *) +let cycle_count () = () |