qcheck-stm.opam

# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.3"
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."""
maintainer: ["Jan Midtgaard <mail@janmidtgaard.dk>"]
authors: ["Jan Midtgaard" "Olivier Nicole" "Nicolas Osborne" "Samuel Hym"]
license: "BSD-2-clause"
tags: [
  "test"
  "property"
  "qcheck"
  "quickcheck"
  "state-machine testing"
  "model-based testing"
  "parallel testing"
]
homepage: "https://github.com/ocaml-multicore/multicoretests"
bug-reports: "https://github.com/ocaml-multicore/multicoretests/issues"
depends: [
  "dune" {>= "3.0"}
  "ocaml" {>= "4.12"}
  "qcheck-core" {>= "0.20"}
  "qcheck-multicoretests-util" {= version}
  "odoc" {with-doc}
]
depopts: ["base-domains"]
build: [
  ["dune" "subst"] {dev}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
]
dev-repo: "git+https://github.com/ocaml-multicore/multicoretests.git"