Unverified Commit ace13532 authored by Robert Scott's avatar Robert Scott Committed by GitHub
Browse files

Merge pull request #335614 from risicle/ris-cvc5-tests 

cvc5: enable tests
parents 4e2fc880 cde5405d

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";