this repo has no description
Merge pull request #27734 from jmid/opam-publish-qcheck-multicoretests-util.0.8
3 packages from ocaml-multicore/multicoretests at 0.8
authored by
Marcello Seri
and committed by
GitHub
3cfde5c8
d8ee90a9
+149
+53
packages/qcheck-lin/qcheck-lin.0.8/opam
+53
packages/qcheck-lin/qcheck-lin.0.8/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.25"}
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
+
x-maintenance-intent: ["(latest)"]
46
+
url {
47
+
src:
48
+
"https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.8.tar.gz"
49
+
checksum: [
50
+
"md5=8e7634814a61bf765ac6989f7fdc49cb"
51
+
"sha512=dfa53117ecbf2e466f6ecddfa91d8eb63a3156fe9e1c5a68fd0da26a4c810312581d9ace4c00c4ab1947614f7fb1d6b686003a09da418d2940ac79a7b744a8eb"
52
+
]
53
+
}
+43
packages/qcheck-multicoretests-util/qcheck-multicoretests-util.0.8/opam
+43
packages/qcheck-multicoretests-util/qcheck-multicoretests-util.0.8/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.25"}
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
+
x-maintenance-intent: ["(latest)"]
36
+
url {
37
+
src:
38
+
"https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.8.tar.gz"
39
+
checksum: [
40
+
"md5=8e7634814a61bf765ac6989f7fdc49cb"
41
+
"sha512=dfa53117ecbf2e466f6ecddfa91d8eb63a3156fe9e1c5a68fd0da26a4c810312581d9ace4c00c4ab1947614f7fb1d6b686003a09da418d2940ac79a7b744a8eb"
42
+
]
43
+
}
+53
packages/qcheck-stm/qcheck-stm.0.8/opam
+53
packages/qcheck-stm/qcheck-stm.0.8/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.25"}
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
+
x-maintenance-intent: ["(latest)"]
46
+
url {
47
+
src:
48
+
"https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.8.tar.gz"
49
+
checksum: [
50
+
"md5=8e7634814a61bf765ac6989f7fdc49cb"
51
+
"sha512=dfa53117ecbf2e466f6ecddfa91d8eb63a3156fe9e1c5a68fd0da26a4c810312581d9ace4c00c4ab1947614f7fb1d6b686003a09da418d2940ac79a7b744a8eb"
52
+
]
53
+
}