Commit cde5405d authored by Robert Scott's avatar Robert Scott
Browse files

cvc5: enable tests 

more thoroughness can be achieved by "enabling assertions"
but that will require more work to get passing
parent 91f18ea7

pkgs/applications/science/logic/cvc5/default.nix

+2 −0
Original line number Diff line number Diff line
@@ -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";