diff --git a/src/bytes/lin_tests.ml b/src/bytes/lin_tests.ml index c39d72bb9..69497ccef 100644 --- a/src/bytes/lin_tests.ml +++ b/src/bytes/lin_tests.ml @@ -7,9 +7,10 @@ module BConf = struct let cleanup _ = () open Lin - + let int,string = nat_small, string_small_printable let api = [ val_ "Bytes.get" Bytes.get (t @-> int @-> returning_or_exc char); + val_ "Bytes.set" Bytes.set (t @-> int @-> char @-> returning_or_exc unit); val_ "Bytes.sub_string" Bytes.sub_string (t @-> int @-> int @-> returning_or_exc string); val_ "Bytes.length" Bytes.length (t @-> returning int); val_ "Bytes.fill" Bytes.fill (t @-> int @-> int @-> char @-> returning_or_exc unit); @@ -21,6 +22,6 @@ module BT_domain = Lin_domain.Make(BConf) module BT_thread = Lin_thread.Make(BConf) [@alert "-experimental"] ;; QCheck_base_runner.run_tests_main [ - BT_domain.lin_test ~count:1000 ~name:"Lin Bytes test with Domain"; - BT_thread.lin_test ~count:1000 ~name:"Lin Bytes test with Thread"; + BT_domain.neg_lin_test ~count:1000 ~name:"Lin Bytes test with Domain"; + BT_thread.lin_test ~count:250 ~name:"Lin Bytes test with Thread"; ]