From 442b084123211ecbd83ff28708eee238e77ceea3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 23 Jan 2024 18:37:29 +0100
Subject: [PATCH] [nix] added cvc4 to wp-proofs config
---
nix/mk_tests.nix | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/nix/mk_tests.nix b/nix/mk_tests.nix
index 0a7b37dcc03..4d35f6a6a67 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 .
--
GitLab