1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
(library
(name STM)
(public_name qcheck-stm.stm)
(modules STM)
(libraries qcheck-core qcheck-multicoretests-util))
(library
(name STM_sequential)
(public_name qcheck-stm.sequential)
(modules STM_sequential)
(libraries qcheck-core qcheck-stm.stm))
(library
(name STM_domain)
(public_name qcheck-stm.domain)
(modules STM_domain)
(enabled_if (>= %{ocaml_version} 5))
(libraries qcheck-core qcheck-stm.stm))
(library
(name STM_thread)
(public_name qcheck-stm.thread)
(modules STM_thread)
(libraries threads qcheck-core qcheck-stm.stm))
(library
(name lin)
(public_name qcheck-lin.lin)
(modules lin)
(libraries qcheck-core qcheck-core.runner qcheck-multicoretests-util))
(library
(name lin_domain)
(public_name qcheck-lin.domain)
(modules lin_domain)
(enabled_if (>= %{ocaml_version} 5))
(libraries qcheck-core qcheck-core.runner qcheck-multicoretests-util qcheck-lin.lin))
(library
(name lin_effect)
(public_name qcheck-lin.effect)
(modules lin_effect)
(enabled_if (>= %{ocaml_version} 5))
(libraries qcheck-core qcheck-core.runner qcheck-multicoretests-util qcheck-lin.lin))
(library
(name lin_thread)
(public_name qcheck-lin.thread)
(modules lin_thread)
(libraries threads qcheck-core qcheck-core.runner qcheck-multicoretests-util qcheck-lin.lin))
(library
(name util)
(public_name qcheck-multicoretests-util)
(modules util)
(libraries qcheck-core.runner unix))
|
