We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 6bb27f5 commit 8094344Copy full SHA for 8094344
src/bytes/lin_tests_dsl.ml
@@ -9,6 +9,7 @@ module BConf = struct
9
open Lin_api
10
let int = nat_small
11
(*let int = int_bound 10*)
12
+
13
let api = [
14
val_ "Bytes.length" Bytes.length (t @-> returning int);
15
val_ "Bytes.get" Bytes.get (t @-> int @-> returning_or_exc char);
@@ -34,5 +35,5 @@ Util.set_ci_printing ()
34
35
;;
36
QCheck_base_runner.run_tests_main [
37
BT.neg_lin_test `Domain ~count:1000 ~name:"Lin_api Bytes test with Domain";
- BT.lin_test `Thread ~count:1000 ~name:"Lin_api Bytes test with Thread";
38
+ BT.lin_test `Thread ~count:250 ~name:"Lin_api Bytes test with Thread";
39
]
0 commit comments