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.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

@@ -10,7 +10,7 @@ struct
  (* note to self:
     - generate one t_var per input [t] parameter and
     - record [Env.next] for each resulting [t] in an option *)
-  open Lin
+  open Lin_base.Lin_internal
   type cmd =
     | Length of Var.t
     | Get of Var.t * int
@@ -113,10 +113,10 @@ struct
   let cleanup _ = ()
 end
 
-module AT = Lin.Make(AConf)
+module AT_domain = Lin_domain.Make_internal(AConf)
 ;;
 Util.set_ci_printing ()
 ;;
 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 =
@@ -29,10 +29,10 @@ struct
     ]
 end
 
-module AT = Lin_api.Make(AConf)
+module AT_domain = Lin_domain.Make(AConf)
 ;;
 Util.set_ci_printing ()
 ;;
 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

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

src/atomic/lin_tests.ml

@@ -6,7 +6,7 @@ open QCheck
 module AConf =
 struct
   type t = int Atomic.t
-  open Lin
+  open Lin_base.Lin_internal
   type cmd =
     | Make of int
     | Get of Var.t
@@ -68,7 +68,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 *)
@@ -118,6 +118,6 @@ module A3T = Lin.Make(A3Conf)
 Util.set_ci_printing ()
 ;;
 QCheck_base_runner.run_tests_main [
-  AT.lin_test     `Domain ~count:1000 ~name:"Lin Atomic test with Domain";
+  AT_domain.lin_test ~count:1000 ~name:"Lin Atomic test with Domain";
 (* A3T.lin_test    `Domain ~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.Spec = struct
+  open Lin_base (* FIXME add Gen.nat *)
   type t = int Atomic.t
   let init () = Atomic.make 0
   let cleanup _ = ()
@@ -15,10 +15,10 @@ 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 () = Util.set_ci_printing ()
 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

@@ -10,7 +10,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

@@ -38,7 +38,7 @@ struct
   let init () = array_create array_size
   let cleanup _ = ()
 
-  open Lin_api
+  open Lin_base
   let int = int_small
 
   let api =
@@ -61,10 +61,10 @@ struct
     ]
 end
 
-module BA1T = Lin_api.Make(BA1Conf)
+module BA1T = Lin_domain.Make(BA1Conf)
 
 let _ =
   Util.set_ci_printing () ;
   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

@@ -5,14 +5,14 @@
 (alias
  (name default)
  (package multicoretests)
- (deps lin_tests_dsl.exe))
+ (deps lin_tests_dsl.exe stm_tests.exe))
 
 ;; Linearizability tests
 
 (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 () = Bytes.make 42 '0'
   let cleanup _ = ()
 
-  open Lin_api
+  open Lin_base
+
   let int = nat_small
 (*let int = int_bound 10*)
 
@@ -29,11 +30,12 @@ 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)
 ;;
 Util.set_ci_printing ()
 ;;
 QCheck_base_runner.run_tests_main [
-  BT.neg_lin_test `Domain ~count:1000 ~name:"Lin_api Bytes test with Domain";
-  BT.lin_test     `Thread ~count:250  ~name:"Lin_api Bytes test with Thread";
+  BT_domain.neg_lin_test ~count:1000 ~name:"Lin_api Bytes test with Domain";
+  BT_thread.lin_test     ~count:250  ~name:"Lin_api Bytes test with Thread";
 ]