diff --git a/nix/mk_tests.nix b/nix/mk_tests.nix
index 0a7b37dcc03a4c242e47d0e37968bd74c598eb95..4d35f6a6a678191b21d4f63da3969eb28169a327 100644
--- a/nix/mk_tests.nix
+++ b/nix/mk_tests.nix
@@ -26,6 +26,7 @@
 
 { lib
 , alt-ergo
+, cvc4
 , clang
 , frama-c
 , perl
@@ -60,7 +61,7 @@ stdenvNoCC.mkDerivation {
     yq
     which
   ] ++
-  (if has-wp-proofs then [ alt-ergo ] else []);
+  (if has-wp-proofs then [ alt-ergo cvc4 ] else []);
 
   postPatch = ''
     patchShebangs .