this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis:
4 "State-machine testing library for sequential and parallel model-based tests"
5description: """
6A state-machine testing library based on QCheck that can generate both
7sequential and parallel tests against a declarative model."""
8maintainer: ["Jan Midtgaard <mail@janmidtgaard.dk>"]
9authors: ["Jan Midtgaard" "Olivier Nicole" "Nicolas Osborne" "Samuel Hym"]
10license: "BSD-2-clause"
11tags: [
12 "test"
13 "property"
14 "qcheck"
15 "quickcheck"
16 "state-machine testing"
17 "model-based testing"
18 "parallel testing"
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.23"}
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.5.tar.gz"
49 checksum: [
50 "md5=3a236b0a83ab37bd59d46b7f1305b24e"
51 "sha512=18fc051a1d25421e6e554538ec29eac125cb2febd57a7004c285271c632ca7748dce5e6cb508a824d9dcd6443c81a4810f264480a3d663da6987bfd3abd29f0d"
52 ]
53}