Merge pull request #516 from ocaml-multicore/lin-bytes-adjustments

Lin bytes adjustments
ocaml-multicore · Jan 15, 2025 · 2d348a5 · 2d348a5
2 parents 155e36e + c586d89
commit 2d348a5
Showing 1 changed file with 4 additions and 3 deletions.
diff --git 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";
 ]