3 packages from ocaml-multicore/multicoretests at 0.1.1

packages/qcheck-lin/qcheck-lin.0.1.1/opam

@@ -0,0 +1,52 @@
+# 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 <[email protected]>"]
+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"}
+  "base-domains"
+  "qcheck-core" {>= "0.20"}
+  "qcheck-multicoretests-util" {= version}
+  "ppx_deriving" {with-test & >= "5.2.1"}
+  "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"
+url {
+  src:
+    "https://github.com/ocaml-multicore/multicoretests/archive/0.1.1.tar.gz"
+  checksum: [
+    "md5=fa28e3ef2aca0362410df8a9660ec7b7"
+    "sha512=74d2456594d90aa3d39eab2eab95412a3fb84fc6daa06e2cccc36b0d5e06899b4c1e83b47c3b43e20dbf9aaccb515c9d19e0c25820d19403e7ba134e014dc568"
+  ]
+}

packages/qcheck-multicoretests-util/qcheck-multicoretests-util.0.1.1/opam

@@ -0,0 +1,42 @@
+# 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 <[email protected]>"]
+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"}
+  "base-domains"
+  "qcheck-core" {>= "0.20"}
+  "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"
+url {
+  src:
+    "https://github.com/ocaml-multicore/multicoretests/archive/0.1.1.tar.gz"
+  checksum: [
+    "md5=fa28e3ef2aca0362410df8a9660ec7b7"
+    "sha512=74d2456594d90aa3d39eab2eab95412a3fb84fc6daa06e2cccc36b0d5e06899b4c1e83b47c3b43e20dbf9aaccb515c9d19e0c25820d19403e7ba134e014dc568"
+  ]
+}

packages/qcheck-stm/qcheck-stm.0.1.1/opam

@@ -0,0 +1,52 @@
+# 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 <[email protected]>"]
+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"}
+  "base-domains"
+  "qcheck-core" {>= "0.20"}
+  "qcheck-multicoretests-util" {= version}
+  "ppx_deriving" {with-test & >= "5.2.1"}
+  "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"
+url {
+  src:
+    "https://github.com/ocaml-multicore/multicoretests/archive/0.1.1.tar.gz"
+  checksum: [
+    "md5=fa28e3ef2aca0362410df8a9660ec7b7"
+    "sha512=74d2456594d90aa3d39eab2eab95412a3fb84fc6daa06e2cccc36b0d5e06899b4c1e83b47c3b43e20dbf9aaccb515c9d19e0c25820d19403e7ba134e014dc568"
+  ]
+}