this repo has no description
Merge pull request #26574 from jmid/opam-publish-qcheck-multicoretests-util.0.4
3 packages from ocaml-multicore/multicoretests at 0.4
authored by
Marcello Seri
and committed by
GitHub
82daa280
3f0806c4
+146
+52
packages/qcheck-lin/qcheck-lin.0.4/opam
+52
packages/qcheck-lin/qcheck-lin.0.4/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "A multicore testing library for OCaml"
4
+
description: """
5
+
A testing library based on QCheck to test interface behaviour under parallel
6
+
usage. Lin will generate and run random parallel tests and check the observed
7
+
behaviour for sequential consistency, that is, whether they can be linearized
8
+
and explained by some sequential interleaving."""
9
+
maintainer: ["Jan Midtgaard <mail@janmidtgaard.dk>"]
10
+
authors: ["Jan Midtgaard" "Olivier Nicole" "Nicolas Osborne" "Samuel Hym"]
11
+
license: "BSD-2-clause"
12
+
tags: [
13
+
"test"
14
+
"property"
15
+
"qcheck"
16
+
"quickcheck"
17
+
"parallelism"
18
+
"sequential consistency"
19
+
]
20
+
homepage: "https://github.com/ocaml-multicore/multicoretests"
21
+
bug-reports: "https://github.com/ocaml-multicore/multicoretests/issues"
22
+
depends: [
23
+
"dune" {>= "3.0"}
24
+
"ocaml" {>= "4.12"}
25
+
"qcheck-core" {>= "0.20"}
26
+
"qcheck-multicoretests-util" {= version}
27
+
"odoc" {with-doc}
28
+
]
29
+
depopts: ["base-domains"]
30
+
build: [
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
+
]
44
+
dev-repo: "git+https://github.com/ocaml-multicore/multicoretests.git"
45
+
url {
46
+
src:
47
+
"https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.4.tar.gz"
48
+
checksum: [
49
+
"md5=1c6b24db60dcdab518a03175e9a233e5"
50
+
"sha512=bfd9d9250144be9e503710d3eef9c7dd952cdc67b1d56e0f5f737ee6c0f0cf1e6f363c791ed88094659749515245aebb412fea137f3f3323bd33d1a357c47984"
51
+
]
52
+
}
+42
packages/qcheck-multicoretests-util/qcheck-multicoretests-util.0.4/opam
+42
packages/qcheck-multicoretests-util/qcheck-multicoretests-util.0.4/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis:
4
+
"Various utility functions for property-based testing of multicore programs"
5
+
description: """
6
+
A small library of utility functions for QCheck-based testing of
7
+
multicore programs."""
8
+
maintainer: ["Jan Midtgaard <mail@janmidtgaard.dk>"]
9
+
authors: ["Jan Midtgaard" "Olivier Nicole" "Nicolas Osborne" "Samuel Hym"]
10
+
license: "BSD-2-clause"
11
+
tags: ["test" "property" "qcheck" "quickcheck" "multicore" "non-determinism"]
12
+
homepage: "https://github.com/ocaml-multicore/multicoretests"
13
+
bug-reports: "https://github.com/ocaml-multicore/multicoretests/issues"
14
+
depends: [
15
+
"dune" {>= "3.0"}
16
+
"ocaml" {>= "4.12"}
17
+
"qcheck-core" {>= "0.20"}
18
+
"odoc" {with-doc}
19
+
]
20
+
build: [
21
+
["dune" "subst"] {dev}
22
+
[
23
+
"dune"
24
+
"build"
25
+
"-p"
26
+
name
27
+
"-j"
28
+
jobs
29
+
"@install"
30
+
"@runtest" {with-test}
31
+
"@doc" {with-doc}
32
+
]
33
+
]
34
+
dev-repo: "git+https://github.com/ocaml-multicore/multicoretests.git"
35
+
url {
36
+
src:
37
+
"https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.4.tar.gz"
38
+
checksum: [
39
+
"md5=1c6b24db60dcdab518a03175e9a233e5"
40
+
"sha512=bfd9d9250144be9e503710d3eef9c7dd952cdc67b1d56e0f5f737ee6c0f0cf1e6f363c791ed88094659749515245aebb412fea137f3f3323bd33d1a357c47984"
41
+
]
42
+
}
+52
packages/qcheck-stm/qcheck-stm.0.4/opam
+52
packages/qcheck-stm/qcheck-stm.0.4/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis:
4
+
"State-machine testing library for sequential and parallel model-based tests"
5
+
description: """
6
+
A state-machine testing library based on QCheck that can generate both
7
+
sequential and parallel tests against a declarative model."""
8
+
maintainer: ["Jan Midtgaard <mail@janmidtgaard.dk>"]
9
+
authors: ["Jan Midtgaard" "Olivier Nicole" "Nicolas Osborne" "Samuel Hym"]
10
+
license: "BSD-2-clause"
11
+
tags: [
12
+
"test"
13
+
"property"
14
+
"qcheck"
15
+
"quickcheck"
16
+
"state-machine testing"
17
+
"model-based testing"
18
+
"parallel testing"
19
+
]
20
+
homepage: "https://github.com/ocaml-multicore/multicoretests"
21
+
bug-reports: "https://github.com/ocaml-multicore/multicoretests/issues"
22
+
depends: [
23
+
"dune" {>= "3.0"}
24
+
"ocaml" {>= "4.12"}
25
+
"qcheck-core" {>= "0.20"}
26
+
"qcheck-multicoretests-util" {= version}
27
+
"odoc" {with-doc}
28
+
]
29
+
depopts: ["base-domains"]
30
+
build: [
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
+
]
44
+
dev-repo: "git+https://github.com/ocaml-multicore/multicoretests.git"
45
+
url {
46
+
src:
47
+
"https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.4.tar.gz"
48
+
checksum: [
49
+
"md5=1c6b24db60dcdab518a03175e9a233e5"
50
+
"sha512=bfd9d9250144be9e503710d3eef9c7dd952cdc67b1d56e0f5f737ee6c0f0cf1e6f363c791ed88094659749515245aebb412fea137f3f3323bd33d1a357c47984"
51
+
]
52
+
}