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.
2 parents fecdeab + 816755b commit 70a0671Copy full SHA for 70a0671
src/dynlink/lin_tests.ml
@@ -31,10 +31,11 @@ end
31
module DynT = Lin_domain.Make(DynConf)
32
33
let _ =
34
- let ts = [DynT.stress_test ~count:1000 ~name:"Lin Dynlink stress test with Domain"] in
35
- let ts =
36
- if Sys.win32 then
37
- (Printf.printf "negative Lin Dynlink test with Domain disabled under Windows\n\n%!"; ts)
38
- else
39
- (DynT.neg_lin_test ~count:100 ~name:"negative Lin Dynlink test with Domain")::ts in
40
- QCheck_base_runner.run_tests_main ts
+ if Sys.win32
+ then
+ Printf.printf "Lin Dynlink tests disabled under Windows\n\n%!"
+ else
+ QCheck_base_runner.run_tests_main [
+ DynT.neg_lin_test ~count:100 ~name:"negative Lin Dynlink test with Domain";
+ DynT.stress_test ~count:1000 ~name:"Lin Dynlink stress test with Domain";
41
+ ]
0 commit comments