Merge pull request diffblue#2207 from diffblue/remove-solvers-cvc

remove (pre-SMT-LIB) CVC interface

Author: tautschnig

src/cbmc/cbmc_solvers.cpp

@@ -22,7 +22,6 @@ Author: Daniel Kroening, [email protected]
 #include <solvers/refinement/bv_refinement.h>
 #include <solvers/refinement/string_refinement.h>
 #include <solvers/smt2/smt2_dec.h>
-#include <solvers/cvc/cvc_dec.h>
 #include <solvers/prop/aig_prop.h>
 #include <solvers/sat/dimacs_cnf.h>
 

src/solvers/Makefile

@@ -85,8 +85,6 @@ SRC = $(BOOLEFORCE_SRC) \
       $(PICOSAT_SRC) \
       $(SQUOLEM2_SRC) \
       $(CADICAL_SRC) \
-      cvc/cvc_conv.cpp \
-      cvc/cvc_dec.cpp \
       flattening/arrays.cpp \
       flattening/boolbv.cpp \
       flattening/boolbv_abs.cpp \