diff options
| author | Robert Norton | 2017-04-04 10:34:42 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-06 12:35:10 +0100 |
| commit | edff4ba336735bcd1c244a4bd7fc8f5c4464e91b (patch) | |
| tree | 8e325f308136d435111ca4cf27e7f73ab0d71a9d /src | |
| parent | 619fbaa211e5a3bdea720e3c15e63de8533a464c (diff) | |
Implement exit by raising Sail_exit exception
Diffstat (limited to 'src')
| -rw-r--r-- | src/gen_lib/sail_values.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/gen_lib/sail_values.ml b/src/gen_lib/sail_values.ml index d287b2cd..86f8934a 100644 --- a/src/gen_lib/sail_values.ml +++ b/src/gen_lib/sail_values.ml @@ -13,6 +13,8 @@ type value = | Vregister of vbit array ref * int * bool * (string * (int * int)) list | Vbit of vbit (*Mostly for Vundef in place of undefined register place holders*) +exception Sail_exit + let string_of_bit = function | Vone -> "1" | Vzero -> "0" @@ -37,7 +39,7 @@ let is_one i = else Vzero -let exit _ = failwith "called exit" +let exit _ = raise Sail_exit let is_one_int i = |