forked from ocaml-multicore/multicoretests
-
Notifications
You must be signed in to change notification settings - Fork 0
/
dune-project
55 lines (50 loc) · 1.87 KB
/
dune-project
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
(lang dune 2.9)
(name multicoretests)
(generate_opam_files true)
(source (github jmid/multicoretests))
(authors "Jan Midtgaard" "Olivier Nicole" "Nicolas Osborne")
(maintainers "Jan Midtgaard <mail@janmidtgaard.dk>")
(license BSD-2-clause)
(package
(name multicoretests)
(synopsis "Experimental multicore tests of OCaml 5.0")
(authors "Multiple contributors")
(description "This package contains a collection of randomized QCheck tests to exercise
the multicore run-time of OCaml 5.0.")
(depends
base-domains
(domainslib (>= "0.4.2"))
(ppx_deriving (>= "5.2.1"))
(qcheck-core (>= "0.19"))
(ppx_deriving_qcheck (>= "0.2.0"))
; (kcas (>= "0.14"))
(lockfree (>= "0.13"))
(qcheck-lin (= :version))
(qcheck-stm (= :version))))
;; note: pin-depends listed in multicoretests.opam.template
(package
(name qcheck-stm)
(synopsis "State-machine testing library for sequential and parallel model-based tests")
(description "A state-machine testing library based on QCheck that can generate both
sequential and parallel tests against a declarative model.")
(depends
base-domains
(qcheck-core (>= "0.19"))
(qcheck-multicoretests-util (= :version))))
(package
(name qcheck-lin)
(synopsis "Linearizability testing library for multicore OCaml")
(description "A linearizability testing library based QCheck that generates parallel tests
and checks the observed behaviour for sequential consistency.")
(depends
base-domains
(qcheck-core (>= "0.19"))
(qcheck-multicoretests-util (= :version))))
(package
(name qcheck-multicoretests-util)
(synopsis "Various utility functions for property-based testing of multicore programs")
(description "A small library of utility functions for QCheck-based testing of
multicore programs.")
(depends
base-domains
(qcheck-core (>= "0.19"))))