1 files changed, 8 insertions, 1 deletions

diff --git a/flake.nix b/flake.nix
index b709079..df66d9a 100644
--- a/flake.nix
+++ b/flake.nix
@@ -30,13 +30,18 @@
               lmdb
             ]) ++ (with ocamlPackages; [
               batteries
+              num
               ctypes
               ctypes-foreign
               sexplib
               digestif
             ]);
 
-            checkInputs = [ ocamlPackages.alcotest ];
+            checkInputs = with ocamlPackages; [
+              alcotest
+              qcheck-core
+              qcheck-alcotest
+            ];
 
             doCheck = true;
 
@@ -58,6 +63,8 @@
               ocaml-lsp
               ocamlformat
               utop
+              qcheck-core
+              qcheck-alcotest
             ]);
           };
         });