this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "A multicore testing library for OCaml"
4description: """
5A testing library based on QCheck to test interface behaviour under parallel
6usage. Lin will generate and run random parallel tests and check the observed
7behaviour for sequential consistency, that is, whether they can be linearized
8and explained by some sequential interleaving."""
9maintainer: ["Jan Midtgaard <mail@janmidtgaard.dk>"]
10authors: ["Jan Midtgaard" "Olivier Nicole" "Nicolas Osborne" "Samuel Hym"]
11license: "BSD-2-clause"
12tags: [
13 "test"
14 "property"
15 "qcheck"
16 "quickcheck"
17 "parallelism"
18 "sequential consistency"
19]
20homepage: "https://github.com/ocaml-multicore/multicoretests"
21bug-reports: "https://github.com/ocaml-multicore/multicoretests/issues"
22depends: [
23 "dune" {>= "3.0"}
24 "ocaml" {>= "4.12"}
25 "qcheck-core" {>= "0.25"}
26 "qcheck-multicoretests-util" {= version}
27 "odoc" {with-doc}
28]
29depopts: ["base-domains"]
30build: [
31 ["dune" "subst"] {dev}
32 [
33 "dune"
34 "build"
35 "-p"
36 name
37 "-j"
38 jobs
39 "@install"
40 "@runtest" {with-test}
41 "@doc" {with-doc}
42 ]
43]
44dev-repo: "git+https://github.com/ocaml-multicore/multicoretests.git"
45x-maintenance-intent: ["(latest)"]
46url {
47 src:
48 "https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.8.tar.gz"
49 checksum: [
50 "md5=8e7634814a61bf765ac6989f7fdc49cb"
51 "sha512=dfa53117ecbf2e466f6ecddfa91d8eb63a3156fe9e1c5a68fd0da26a4c810312581d9ace4c00c4ab1947614f7fb1d6b686003a09da418d2940ac79a7b744a8eb"
52 ]
53}