From 2f8e0b78531473a5c519b998f0750eec2bb68cb8 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 22 Jun 2018 13:23:29 +0100
Subject: add support for new cycle_limit feature in mips.

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

(limited to 'src/sail_lib.ml')

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 () = ()
-- 
cgit v1.2.3