We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 08a8478 commit 7fcba29Copy full SHA for 7fcba29
lockfree-with-bench.opam
@@ -12,9 +12,9 @@ depends: [
12
"ocaml" {>= "5.0"}
13
"dune" {>= "3.0"}
14
"qcheck" {with-test & >= "0.18.1"}
15
+ "qcheck-stm" {with-test & >= "0.1"}
16
"qcheck-alcotest" {with-test & >= "0.18.1"}
- "alcotest" {>= "1.6.0"}
17
- "dscheck" {>= "0.0.1"}
+ "dscheck" {with-test & >= "0.0.1"}
18
"yojson" {>= "2.0.2"}
19
]
20
build: ["dune" "build" "-p" name "-j" jobs]
lockfree.opam
@@ -15,7 +15,7 @@ depends: [
"qcheck-stm" {with-test & >= "0.1"}
+ "alcotest" {with-test & >= "1.6.0"}
"dscheck" {with-test & >= "0.0.1"}
21
depopts: []
0 commit comments