Skip to content

Commit

Permalink
Merge pull request #521 from ocaml-multicore/bytes-test-adjust
Browse files Browse the repository at this point in the history 
Expand on Lin Bytes test and add stress test
  • Loading branch information
@jmid
jmid authored Jan 19, 2025
2 parents a166b24 + 2777159 commit 05a5ac9
Showing 1 changed file with 32 additions and 8 deletions.
40 changes: 32 additions & 8 deletions src/bytes/lin_tests.ml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,19 +9,43 @@ module BConf = struct
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);
val_ "Bytes.blit_string" Bytes.blit_string (string @-> int @-> t @-> int @-> int @-> returning_or_exc unit);
val_ "Bytes.index_from" Bytes.index_from (t @-> int @-> char @-> returning_or_exc int)]
val_ "Bytes.length" Bytes.length (t @-> returning int);
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.copy" Bytes.copy (t @-> returning bytes);
val_ "Bytes.to_string" Bytes.to_string (t @-> returning string);
val_ "Bytes.sub" Bytes.sub (t @-> int @-> int @-> returning_or_exc bytes);
val_ "Bytes.sub_string" Bytes.sub_string (t @-> int @-> int @-> returning_or_exc string);
val_ "Bytes.fill" Bytes.fill (t @-> int @-> int @-> char @-> returning_or_exc unit);
val_ "Bytes.blit_string" Bytes.blit_string (string @-> int @-> t @-> int @-> int @-> returning_or_exc unit);
val_ "Bytes.index" Bytes.index (t @-> char @-> returning_or_exc int);
val_ "Bytes.index_opt" Bytes.index_opt (t @-> char @-> returning (option int));
val_ "Bytes.rindex" Bytes.rindex (t @-> char @-> returning_or_exc int);
val_ "Bytes.rindex_opt" Bytes.rindex_opt (t @-> char @-> returning (option int));
val_ "Bytes.index_from" Bytes.index_from (t @-> int @-> char @-> returning_or_exc int);
val_ "Bytes.index_from_opt" Bytes.index_from_opt (t @-> int @-> char @-> returning_or_exc (option int));
val_ "Bytes.rindex_from" Bytes.rindex_from (t @-> int @-> char @-> returning_or_exc int);
val_ "Bytes.rindex_from_opt" Bytes.rindex_from_opt (t @-> int @-> char @-> returning_or_exc (option int));
val_ "Bytes.contains" Bytes.contains (t @-> char @-> returning_or_exc bool);
val_ "Bytes.contains_from" Bytes.contains_from (t @-> int @-> char @-> returning_or_exc bool);
val_ "Bytes.rcontains_from" Bytes.rcontains_from (t @-> int @-> char @-> returning_or_exc bool);
(* UTF codecs and validations *)
val_ "Bytes.is_valid_utf_8" Bytes.is_valid_utf_8 (t @-> returning bool);
val_ "Bytes.is_valid_utf_16be" Bytes.is_valid_utf_16be (t @-> returning bool);
val_ "Bytes.is_valid_utf_16le" Bytes.is_valid_utf_16le (t @-> returning bool);
(* Binary encoding/decoding of integers *)
val_ "Bytes.get_uint8" Bytes.get_uint8 (t @-> int @-> returning_or_exc int);
val_ "Bytes.get_int8" Bytes.get_int8 (t @-> int @-> returning_or_exc int);
val_ "Bytes.set_uint8" Bytes.set_uint8 (t @-> int @-> int @-> returning_or_exc unit);
val_ "Bytes.set_int8" Bytes.set_int8 (t @-> int @-> int @-> returning_or_exc unit);
]
end

module BT_domain = Lin_domain.Make(BConf)
module BT_thread = Lin_thread.Make(BConf) [@alert "-experimental"]
;;
QCheck_base_runner.run_tests_main [
BT_domain.neg_lin_test ~count:2500 ~name:"Lin Bytes test with Domain";
BT_domain.neg_lin_test ~count:5000 ~name:"Lin Bytes test with Domain";
BT_thread.lin_test ~count:250 ~name:"Lin Bytes test with Thread";
BT_domain.stress_test ~count:1000 ~name:"Lin Bytes stress test with Domain";
]

0 comments on commit 05a5ac9

Please sign in to comment.