Adapt the multicore tests to the new Lin interface

Author: shym

src/array/dune

@@ -25,7 +25,7 @@
  (name lin_tests)
  (modules lin_tests)
  (flags (:standard -w -27))
- (libraries lin)
+ (libraries qcheck-lin.domain)
  (preprocess (pps ppx_deriving_qcheck ppx_deriving.show ppx_deriving.eq)))
 
 ; (rule
@@ -37,7 +37,7 @@
 (executable
  (name lin_tests_dsl)
  (modules lin_tests_dsl)
- (libraries lin))
+ (libraries qcheck-lin.domain))
 
 (rule
  (alias runtest)

src/array/lin_tests.ml

@@ -56,8 +56,8 @@ struct
   let cleanup _ = ()
 end
 
-module AT = Lin.Make(AConf)
+module AT_domain = Lin_domain.Make_internal(AConf)
 ;;
 QCheck_base_runner.run_tests_main [
-  AT.neg_lin_test `Domain ~count:1000 ~name:"Lin Array test with Domain";
+  AT_domain.neg_lin_test ~count:1000 ~name:"Lin Array test with Domain";
 ]

src/array/lin_tests_dsl.ml

@@ -9,7 +9,7 @@ struct
   let init () = Array.make array_size 'a'
   let cleanup _ = ()
 
-  open Lin_api
+  open Lin_base
   let int,char = nat_small,char_printable
   let array_to_seq a = List.to_seq (List.of_seq (Array.to_seq a)) (* workaround: Array.to_seq is lazy and will otherwise see and report later Array.set state changes... *)
   let api =
@@ -26,8 +26,8 @@ struct
     ]
 end
 
-module AT = Lin_api.Make(AConf)
+module AT_domain = Lin_domain.Make(AConf)
 ;;
 QCheck_base_runner.run_tests_main [
-  AT.neg_lin_test `Domain ~count:1000 ~name:"Lin_api Array test with Domain";
+  AT_domain.neg_lin_test ~count:1000 ~name:"Lin_api Array test with Domain";
 ]

src/atomic/dune

@@ -31,7 +31,7 @@
  (name lin_tests)
  (modules lin_tests)
  (flags (:standard -w -27))
- (libraries lin)
+ (libraries qcheck-lin.domain)
  (preprocess (pps ppx_deriving_qcheck ppx_deriving.show ppx_deriving.eq)))
 
 ; (rule
@@ -43,7 +43,7 @@
 (executable
  (name lin_tests_dsl)
  (modules lin_tests_dsl)
- (libraries lin))
+ (libraries qcheck-lin.domain))
 
 (rule
  (alias runtest)

src/atomic/lin_tests.ml

@@ -42,7 +42,7 @@ struct
   let cleanup _ = ()
 end
 
-module AT = Lin.Make(AConf)
+module AT_domain = Lin_domain.Make_internal(AConf)
 
 (** A variant of the above with 3 Atomics *)
 module A3Conf =
@@ -85,9 +85,9 @@ struct
   let cleanup _ = ()
 end
 
-module A3T = Lin.Make(A3Conf)
+module A3T_domain = Lin_domain.Make_internal(A3Conf)
 ;;
 QCheck_base_runner.run_tests_main [
-  AT.lin_test     `Domain ~count:1000 ~name:"Lin Atomic test with Domain";
-  A3T.lin_test    `Domain ~count:1000 ~name:"Lin Atomic3 test with Domain";
+  AT_domain.lin_test  ~count:1000 ~name:"Lin Atomic test with Domain";
+  A3T_domain.lin_test ~count:1000 ~name:"Lin Atomic3 test with Domain";
 ]

src/atomic/lin_tests_dsl.ml

@@ -1,5 +1,5 @@
-module Atomic_spec : Lin_api.ApiSpec = struct
-  open Lin_api (* FIXME add Gen.nat *)
+module Atomic_spec : Lin_base.ApiSpec = struct
+  open Lin_base (* FIXME add Gen.nat *)
   type t = int Atomic.t
   let init () = Atomic.make 0
   let cleanup _ = ()
@@ -13,9 +13,9 @@ module Atomic_spec : Lin_api.ApiSpec = struct
       val_ "Atomic.decr"            Atomic.decr            (t @-> returning unit) ]
 end
 
-module Lin_atomic = Lin_api.Make (Atomic_spec)
+module Lin_atomic_domain = Lin_domain.Make (Atomic_spec)
 
 let () =
   QCheck_base_runner.run_tests_main
-    [ Lin_atomic.lin_test `Domain ~count:1000 ~name:"Lin_api Atomic test with Domain";
+    [ Lin_atomic_domain.lin_test ~count:1000 ~name:"Lin_api Atomic test with Domain";
     ]

src/bigarray/dune

@@ -12,7 +12,7 @@
 (executable
  (name lin_tests_dsl)
  (modules lin_tests_dsl)
- (libraries lin))
+ (libraries qcheck-lin.domain))
 
 (executable
  (name stm_tests)

src/bigarray/lin_tests_dsl.ml

@@ -14,7 +14,7 @@ struct
     arr
   let cleanup _ = ()
 
-  open Lin_api
+  open Lin_base
   let int = int_small
 
   let api =
@@ -25,9 +25,9 @@ struct
     ]
 end
 
-module BA1T = Lin_api.Make(BA1Conf)
+module BA1T = Lin_domain.Make(BA1Conf)
 
 let _ =
   QCheck_base_runner.run_tests_main [
-    BA1T.neg_lin_test `Domain ~count:5000 ~name:"Lin_api Bigarray.Array1 (of ints) test with Domain";
+    BA1T.neg_lin_test ~count:5000 ~name:"Lin_api Bigarray.Array1 (of ints) test with Domain";
   ]

src/bytes/dune

@@ -12,7 +12,7 @@
 (executable
  (name lin_tests_dsl)
  (modules lin_tests_dsl)
- (libraries lin))
+ (libraries qcheck-lin.domain qcheck-lin.thread))
 
 (executable
  (name stm_tests)

src/bytes/lin_tests_dsl.ml

@@ -6,7 +6,8 @@ module BConf = struct
   let init () = Stdlib.Bytes.make 42 '0'
   let cleanup _ = ()
 
-  open Lin_api
+  open Lin_base
+
   let api = [
     val_ "Bytes.get"         Bytes.get         (t @-> int @-> returning_or_exc char);
     val_ "Bytes.sub_string"  Bytes.sub_string  (t @-> int @-> int @-> returning_or_exc string);
@@ -16,9 +17,10 @@ module BConf = struct
     val_ "Bytes.index_from"  Bytes.index_from  (t @-> int @-> char @-> returning_or_exc int)]
 end
 
-module BT = Lin_api.Make(BConf)
+module BT_domain = Lin_domain.Make(BConf)
+module BT_thread = Lin_thread.Make(BConf)
 ;;
 QCheck_base_runner.run_tests_main [
-  BT.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";
+  BT_domain.lin_test ~count:1000 ~name:"Lin_api Bytes test with Domain";
+  BT_thread.lin_test ~count:1000 ~name:"Lin_api Bytes test with Thread";
 ]