this repo has no description

3 packages from ocaml-multicore/multicoretests at 0.7

Changed files
+149
packages
qcheck-lin
qcheck-lin.0.7
qcheck-multicoretests-util
qcheck-multicoretests-util.0.7
qcheck-stm
qcheck-stm.0.7
+53
packages/qcheck-lin/qcheck-lin.0.7/opam
···
+
# This file is generated by dune, edit dune-project instead
+
opam-version: "2.0"
+
synopsis: "A multicore testing library for OCaml"
+
description: """
+
A testing library based on QCheck to test interface behaviour under parallel
+
usage. Lin will generate and run random parallel tests and check the observed
+
behaviour for sequential consistency, that is, whether they can be linearized
+
and explained by some sequential interleaving."""
+
maintainer: ["Jan Midtgaard <mail@janmidtgaard.dk>"]
+
authors: ["Jan Midtgaard" "Olivier Nicole" "Nicolas Osborne" "Samuel Hym"]
+
license: "BSD-2-clause"
+
tags: [
+
"test"
+
"property"
+
"qcheck"
+
"quickcheck"
+
"parallelism"
+
"sequential consistency"
+
]
+
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.23"}
+
"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"
+
x-maintenance-intent: ["(latest)"]
+
url {
+
src:
+
"https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.7.tar.gz"
+
checksum: [
+
"md5=cddc14e04ad92fa9434916203c853063"
+
"sha512=0d3ddfac0a682b8610a74235e4c1ce2e7edddab291b615e6b2ab50e57a2cfd2e2cdd82891a21e051e2c4cb1fe6a1a2f682b5ff092a61e69584b98beebeb545bc"
+
]
+
}
+43
packages/qcheck-multicoretests-util/qcheck-multicoretests-util.0.7/opam
···
+
# This file is generated by dune, edit dune-project instead
+
opam-version: "2.0"
+
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."""
+
maintainer: ["Jan Midtgaard <mail@janmidtgaard.dk>"]
+
authors: ["Jan Midtgaard" "Olivier Nicole" "Nicolas Osborne" "Samuel Hym"]
+
license: "BSD-2-clause"
+
tags: ["test" "property" "qcheck" "quickcheck" "multicore" "non-determinism"]
+
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.23"}
+
"odoc" {with-doc}
+
]
+
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"
+
x-maintenance-intent: ["(latest)"]
+
url {
+
src:
+
"https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.7.tar.gz"
+
checksum: [
+
"md5=cddc14e04ad92fa9434916203c853063"
+
"sha512=0d3ddfac0a682b8610a74235e4c1ce2e7edddab291b615e6b2ab50e57a2cfd2e2cdd82891a21e051e2c4cb1fe6a1a2f682b5ff092a61e69584b98beebeb545bc"
+
]
+
}
+53
packages/qcheck-stm/qcheck-stm.0.7/opam
···
+
# This file is generated by dune, edit dune-project instead
+
opam-version: "2.0"
+
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.23"}
+
"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"
+
x-maintenance-intent: ["(latest)"]
+
url {
+
src:
+
"https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.7.tar.gz"
+
checksum: [
+
"md5=cddc14e04ad92fa9434916203c853063"
+
"sha512=0d3ddfac0a682b8610a74235e4c1ce2e7edddab291b615e6b2ab50e57a2cfd2e2cdd82891a21e051e2c4cb1fe6a1a2f682b5ff092a61e69584b98beebeb545bc"
+
]
+
}