diff options
| author | Alasdair Armstrong | 2017-12-14 20:09:04 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-12-14 20:09:04 +0000 |
| commit | b3d2aa1f4d4b60e0a5a9c05127c81504e6b9a0c4 (patch) | |
| tree | 12c3ba7adc9c0b24e0ed709a4dfe04c5e7f176b5 /lib | |
| parent | 2162c6586b8024789875c2e619b09ba8348e72e0 (diff) | |
An experimental version of sail without bitvector start indexes.
Works with the vector branch of asl_parser
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/ocaml_rts/_tags | 2 | ||||
| -rw-r--r-- | lib/ocaml_rts/sail_lib.ml | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/lib/ocaml_rts/_tags b/lib/ocaml_rts/_tags index 7d3f2d46..db11bf77 100644 --- a/lib/ocaml_rts/_tags +++ b/lib/ocaml_rts/_tags @@ -1,4 +1,4 @@ -true: use_lem +true: use_lem, debug <main.{byte,native}>: use_nums, use_str, use_unix, debug <linksem>: include <linksem/adaptors>: include diff --git a/lib/ocaml_rts/sail_lib.ml b/lib/ocaml_rts/sail_lib.ml index dfdd1db9..b24e2fec 100644 --- a/lib/ocaml_rts/sail_lib.ml +++ b/lib/ocaml_rts/sail_lib.ml @@ -87,10 +87,10 @@ let undefined_bit () = let undefined_bool () = if !random then Random.bool () else false -let rec undefined_vector (start_index, len, item) = +let rec undefined_vector (len, item) = if eq_big_int len zero_big_int then [] - else item :: undefined_vector (start_index, sub_big_int len unit_big_int, item) + else item :: undefined_vector (sub_big_int len unit_big_int, item) let undefined_string () = "" |