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
|
(documentation
(package qcheck-stm)
(mld_files index))
(executable
(name mutable_set_v0)
(modules mutable_set_v0)
(libraries qcheck-stm.sequential)
(preprocess (pps ppx_deriving.show)))
(executable
(name mutable_set_v1)
(modules mutable_set_v1)
(libraries qcheck-stm.sequential)
(preprocess (pps ppx_deriving.show)))
(executable
(name mutable_set_v2)
(modules mutable_set_v2)
(libraries qcheck-stm.domain)
(preprocess (pps ppx_deriving.show)))
(executable
(name mutable_set_v3)
(modules mutable_set_v3)
(libraries qcheck-stm.domain)
(preprocess (pps ppx_deriving.show)))
(executable
(name mutable_set_v4)
(modules mutable_set_v4)
(libraries qcheck-stm.sequential)
(preprocess (pps ppx_deriving.show)))
(executable
(name mutable_set_v5)
(modules mutable_set_v5)
(libraries qcheck-stm.sequential)
(preprocess (pps ppx_deriving.show)))
|
