update doc/ examples to new STM structure

ocaml-multicore · Nov 11, 2022 · 498b144 · 498b144
1 parent 4e66879
commit 498b144
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 10 deletions.
diff --git a/doc/example/dune b/doc/example/dune
@@ -11,5 +11,5 @@
 (executable
  (name stm_tests)
  (modules stm_tests)
- (libraries qcheck-stm)
+ (libraries qcheck-stm.sequential qcheck-stm.domain)
  (preprocess (pps ppx_deriving.show)))
diff --git a/doc/example/stm_tests.ml b/doc/example/stm_tests.ml
@@ -1,5 +1,5 @@
 open QCheck
-open STM
+open STM_base
 
 (** parallel STM tests of Hashtbl *)
 
@@ -57,9 +57,10 @@ struct
     | _ -> false
 end
 
-module HTest = STM.Make(HashtblModel)
+module HT_seq = STM_sequential.Make(HashtblModel)
+module HT_dom = STM_domain.Make(HashtblModel)
 ;;
 QCheck_base_runner.run_tests_main
   (let count = 200 in
-   [HTest.agree_test     ~count ~name:"Hashtbl test";
-    HTest.agree_test_par ~count ~name:"Hashtbl test"; ])
+   [HT_seq.agree_test     ~count ~name:"Hashtbl test";
+    HT_dom.agree_test_par ~count ~name:"Hashtbl test"; ])
diff --git a/doc/paper-examples/dune b/doc/paper-examples/dune
@@ -11,5 +11,5 @@
 (executable
  (name stm_tests)
  (modules stm_tests)
- (libraries qcheck-stm)
+ (libraries qcheck-stm.sequential qcheck-stm.domain)
  (preprocess (pps ppx_deriving.show)))
diff --git a/doc/paper-examples/stm_tests.ml b/doc/paper-examples/stm_tests.ml
@@ -1,5 +1,5 @@
 open QCheck
-open STM
+open STM_base
 
 (** parallel STM tests of Hashtbl *)
 
@@ -68,10 +68,11 @@ struct
     | _ -> false
 end
 
-module HTest = STM.Make(HashtblModel)
+module HT_seq = STM_sequential.Make(HashtblModel)
+module HT_dom = STM_domain.Make(HashtblModel)
 ;;
 QCheck_base_runner.run_tests_main
   (let count = 200 in
-   [HTest.agree_test       ~count ~name:"Hashtbl test";
-    HTest.agree_test_par   ~count ~name:"Hashtbl test";
+   [HT_seq.agree_test       ~count ~name:"Hashtbl test";
+    HT_dom.agree_test_par   ~count ~name:"Hashtbl test";
    ])