Dependencies

Author: polytypic

doc/dune

@@ -8,4 +8,6 @@
  (files gkmz-with-read-only-cmp-ops.md scheduler-interop.md))
 
 (test
- (name simplified))
+ (package kcas)
+ (name simplified)
+ (libraries alcotest dscheck))

dune-project

@@ -48,6 +48,10 @@
    (and
     (>= 1.8.0)
     :with-test))
+  (dscheck
+   (and
+    (>= 0.5.0)
+    :with-test))
   (qcheck-core
    (and
     (>= 0.21.2)

kcas.opam

@@ -24,6 +24,7 @@ depends: [
   "multicore-magic" {>= "2.3.0"}
   "domain_shims" {>= "0.1.0" & with-test}
   "alcotest" {>= "1.8.0" & with-test}
+  "dscheck" {>= "0.5.0" & with-test}
   "qcheck-core" {>= "0.21.2" & with-test}
   "qcheck-stm" {>= "0.3" & with-test}
   "mdx" {>= "2.4.1" & with-test}