From 211f3403747484ba2afe1af6afff055624045650 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 31 Jan 2023 19:03:45 +0100 Subject: [PATCH] 3 packages from ocaml-multicore/multicoretests at 0.1.1 --- packages/qcheck-lin/qcheck-lin.0.1.1/opam | 52 +++++++++++++++++++ .../qcheck-multicoretests-util.0.1.1/opam | 42 +++++++++++++++ packages/qcheck-stm/qcheck-stm.0.1.1/opam | 52 +++++++++++++++++++ 3 files changed, 146 insertions(+) create mode 100644 packages/qcheck-lin/qcheck-lin.0.1.1/opam create mode 100644 packages/qcheck-multicoretests-util/qcheck-multicoretests-util.0.1.1/opam create mode 100644 packages/qcheck-stm/qcheck-stm.0.1.1/opam diff --git a/packages/qcheck-lin/qcheck-lin.0.1.1/opam b/packages/qcheck-lin/qcheck-lin.0.1.1/opam new file mode 100644 index 00000000000..c38fd979c2f --- /dev/null +++ b/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 "] +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=897d5fda34450109e64ef2b589314d74" + "sha512=b93e998dbb6a48d9ced032a9fe54ecd5e092dbac911a815e0f5c565d0dbccc44277e6f56895a0d1df5d72fe32d18db61b1101f81f2fe4675f2e5a1b977ad4ef2" + ] +} diff --git a/packages/qcheck-multicoretests-util/qcheck-multicoretests-util.0.1.1/opam b/packages/qcheck-multicoretests-util/qcheck-multicoretests-util.0.1.1/opam new file mode 100644 index 00000000000..2503f27cf64 --- /dev/null +++ b/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 "] +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=897d5fda34450109e64ef2b589314d74" + "sha512=b93e998dbb6a48d9ced032a9fe54ecd5e092dbac911a815e0f5c565d0dbccc44277e6f56895a0d1df5d72fe32d18db61b1101f81f2fe4675f2e5a1b977ad4ef2" + ] +} diff --git a/packages/qcheck-stm/qcheck-stm.0.1.1/opam b/packages/qcheck-stm/qcheck-stm.0.1.1/opam new file mode 100644 index 00000000000..53986bbc9b2 --- /dev/null +++ b/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 "] +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=897d5fda34450109e64ef2b589314d74" + "sha512=b93e998dbb6a48d9ced032a9fe54ecd5e092dbac911a815e0f5c565d0dbccc44277e6f56895a0d1df5d72fe32d18db61b1101f81f2fe4675f2e5a1b977ad4ef2" + ] +}