CP-50448: move quickcheck tests into internal libraries

We want to run these from 'quicktest', so make them available as libraries,
and add a _run.ml that would run them separately, just as before.
(running separately in the CI is better, because it can be parallelize)

No functional change.

Signed-off-by: Edwin Török <[email protected]>

ocaml/libs/clock/dune

@@ -11,19 +11,23 @@
   )
 )
 
-(tests
-  (names test_date test_timer)
+(library
+  (name test_timer)
   (package clock)
-  (modules test_date test_timer)
+  (modules test_timer)
   (libraries
     alcotest
     clock
     fmt
-    mtime
     mtime.clock.os
-    ptime
     qcheck-alcotest
     qcheck-core
-    qcheck-core.runner
   )
 )
+
+(tests
+  (names test_date test_timer_run)
+  (package clock)
+  (modules test_date test_timer_run)
+  (libraries alcotest clock fmt mtime mtime.clock.os ptime qcheck-core qcheck-alcotest test_timer)
+)

ocaml/libs/clock/test_timer.ml

@@ -60,8 +60,6 @@ let test_timer_remaining =
       Mtime.Span.pp duration Timer.pp timer ;
   true
 
-let tests_timer = List.map QCheck_alcotest.to_alcotest [test_timer_remaining]
-
 let combinations =
   let pair x y = (x, y) in
   let rec loop acc = function
@@ -154,4 +152,4 @@ let test_conversion_from_s =
 let tests_span =
   List.concat [test_conversion_to_s; test_conversion_from_s; test_span_compare]
 
-let () = Alcotest.run "Timer" [("Timer", tests_timer); ("Span", tests_span)]
+let tests = [test_timer_remaining]

ocaml/libs/clock/test_timer.mli

@@ -0,0 +1,3 @@
+val tests_span : unit Alcotest.V1.test_case list
+
+val tests : QCheck2.Test.t list

ocaml/libs/clock/test_timer_run.ml

@@ -0,0 +1,4 @@
+let tests_timer = List.map QCheck_alcotest.to_alcotest Test_timer.tests
+
+let () =
+  Alcotest.run "Timer" [("Timer", tests_timer); ("Span", Test_timer.tests_span)]

ocaml/libs/http-lib/bufio_test.ml

@@ -98,7 +98,9 @@ let test_buf_io =
   in
   true
 
+let tests = [test_buf_io]
+
 let () =
   (* avoid SIGPIPE *)
   let (_ : Sys.signal_behavior) = Sys.signal Sys.sigpipe Sys.Signal_ignore in
-  QCheck_base_runner.run_tests_main [test_buf_io]
+  ()

ocaml/libs/http-lib/bufio_test.mli

@@ -0,0 +1 @@
+val tests : QCheck2.Test.t list

ocaml/libs/http-lib/bufio_test_run.ml

@@ -0,0 +1 @@
+let () = QCheck_base_runner.run_tests_main Bufio_test.tests

ocaml/libs/http-lib/dune

@@ -3,7 +3,7 @@
   (public_name http-lib)
   (modes best)
   (wrapped false)
-  (modules (:standard \ http_svr http_proxy server_io http_test radix_tree_test test_client test_server bufio_test))
+  (modules (:standard \ http_svr http_proxy server_io http_test radix_tree_test test_client test_server bufio_test bufio_test_run))
   (preprocess (per_module ((pps ppx_deriving_rpc) Http)))
   (libraries
     astring
@@ -67,9 +67,21 @@
 )
 
 (test
-  (name bufio_test)
+  (name bufio_test_run)
   (package http-lib)
   (modes (best exe))
+  (modules bufio_test_run)
+  (libraries
+    qcheck-core.runner
+    bufio_test
+  )
+  ; use fixed seed to avoid causing random failures in CI and package builds
+  (action (run %{test} -v -bt --seed 42))
+)
+
+(library
+  (name bufio_test)
+  (modes best)
   (modules bufio_test)
   (libraries
     fmt
@@ -79,11 +91,8 @@
     rresult
     http_lib
     qcheck-core
-    qcheck-core.runner
     xapi_fd_test
   )
-  ; use fixed seed to avoid causing random failures in CI and package builds
-  (action (run %{test} -v -bt --seed 42))
 )
 
 (rule

ocaml/libs/xapi-stdext/lib/xapi-stdext-unix/test/dune

@@ -1,8 +1,14 @@
-(test
+(library
   (name unixext_test)
-  (package xapi-stdext-unix)
   (modules unixext_test)
-  (libraries xapi_stdext_unix qcheck-core mtime.clock.os qcheck-core.runner fmt xapi_fd_test mtime threads.posix rresult)
+  (libraries xapi_stdext_unix qcheck-core mtime.clock.os fmt xapi_fd_test mtime threads.posix rresult)
+)
+
+(test
+  (name unixext_test_run)
+  (package xapi-stdext-unix)
+  (modules unixext_test_run)
+  (libraries unixext_test qcheck-core.runner)
   ; use fixed seed to avoid causing random failures in CI and package builds
   (action (run %{test} -v -bt --seed 42))
 )

ocaml/libs/xapi-stdext/lib/xapi-stdext-unix/test/unixext_test.ml

@@ -192,5 +192,4 @@ let tests = [test_proxy; test_time_limited_write; test_time_limited_read]
 let () =
   (* avoid SIGPIPE *)
   let (_ : Sys.signal_behavior) = Sys.signal Sys.sigpipe Sys.Signal_ignore in
-  Xapi_stdext_unix.Unixext.test_open 1024 ;
-  QCheck_base_runner.run_tests_main tests
+  Xapi_stdext_unix.Unixext.test_open 1024

ocaml/libs/xapi-stdext/lib/xapi-stdext-unix/test/unixext_test.mli

@@ -0,0 +1 @@
+val tests : QCheck2.Test.t list

ocaml/libs/xapi-stdext/lib/xapi-stdext-unix/test/unixext_test_run.ml

@@ -0,0 +1 @@
+let () = QCheck_base_runner.run_tests_main Unixext_test.tests