Skip to content

Commit

Permalink
Increase Lin Out_channel iteration count
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Jun 21, 2023
1 parent 5a65541 commit b8cc4bf
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/io/lin_tests_dsl_domain.ml
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ let tests =
Printf.printf "Lin DSL Out_channel test with Domain disabled under macOS\n\n%!";
[]
) else [
OC_domain.neg_lin_test ~count:1000 ~name:"Lin DSL Out_channel test with Domain";
OC_domain.neg_lin_test ~count:5000 ~name:"Lin DSL Out_channel test with Domain";
]

let _ = QCheck_base_runner.run_tests_main tests

0 comments on commit b8cc4bf

Please sign in to comment.