From cde5405d2e33d08d88e3925bca3651d547b26d77 Mon Sep 17 00:00:00 2001
From: Robert Scott <code@humanleg.org.uk>
Date: Sun, 18 Aug 2024 14:56:37 +0100
Subject: [PATCH] cvc5: enable tests

more thoroughness can be achieved by "enabling assertions"
but that will require more work to get passing
---
 pkgs/applications/science/logic/cvc5/default.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pkgs/applications/science/logic/cvc5/default.nix b/pkgs/applications/science/logic/cvc5/default.nix
index c3b9af935dd5..6fc2b1b7c972 100644
--- a/pkgs/applications/science/logic/cvc5/default.nix
+++ b/pkgs/applications/science/logic/cvc5/default.nix
@@ -28,6 +28,8 @@ stdenv.mkDerivation rec {
     "-DANTLR3_JAR=${antlr3_4}/lib/antlr/antlr-3.4-complete.jar"
   ];
 
+  doCheck = true;
+
   meta = with lib; {
     description = "High-performance theorem prover and SMT solver";
     mainProgram = "cvc5";