Commit 964b2417 authored by Vlad Dumitru's avatar Vlad Dumitru
Browse files

add qcheck-alcotest dependency

parent c82e4a06
...@@ -28,6 +28,7 @@ ...@@ -28,6 +28,7 @@
(ppx_deriving (>= 5.2.1)) (ppx_deriving (>= 5.2.1))
(alcotest (>= 1.4.0)) (alcotest (>= 1.4.0))
(qcheck (>= 0.17)) (qcheck (>= 0.17))
(qcheck-alcotest (>= 0.17))
) )
) )
...@@ -23,6 +23,7 @@ depends: [ ...@@ -23,6 +23,7 @@ depends: [
"ppx_deriving" {>= "5.2.1"} "ppx_deriving" {>= "5.2.1"}
"alcotest" {>= "1.4.0"} "alcotest" {>= "1.4.0"}
"qcheck" {>= "0.17"} "qcheck" {>= "0.17"}
"qcheck-alcotest" {>= "0.17"}
"odoc" {with-doc} "odoc" {with-doc}
] ]
build: [ build: [
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment