diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/ocaml_rts/Makefile | 1 | ||||
| -rw-r--r-- | lib/ocaml_rts/_tags | 3 | ||||
| -rw-r--r-- | lib/ocaml_rts/sail_lib.ml | 4 |
3 files changed, 3 insertions, 5 deletions
diff --git a/lib/ocaml_rts/Makefile b/lib/ocaml_rts/Makefile index 3d837e25..52b8841b 100644 --- a/lib/ocaml_rts/Makefile +++ b/lib/ocaml_rts/Makefile @@ -50,7 +50,6 @@ all: main import: rsync -rv --include "*/" --include="*.ml" --include="*.mli" --exclude="*" $(BITBUCKET_ROOT)/linksem/src/ linksem - rsync -rv --include "*/" --include="*.ml" --include="*.mli" --exclude="*" $(BITBUCKET_ROOT)/lem/ocaml-lib/ lem main: import ocamlbuild -pkg uint -pkg zarith main.native -use-ocamlfind diff --git a/lib/ocaml_rts/_tags b/lib/ocaml_rts/_tags index 5f2586c5..db11bf77 100644 --- a/lib/ocaml_rts/_tags +++ b/lib/ocaml_rts/_tags @@ -1,6 +1,5 @@ +true: use_lem, debug <main.{byte,native}>: use_nums, use_str, use_unix, debug <linksem>: include <linksem/adaptors>: include -<lem>: include -<lem/dependencies/zarith>: -traverse <linksem/src_lem_library>: -traverse 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 () = "" |