LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/smt - interpolation_solver.cpp (source / functions) Hit Total Coverage Test: coverage.info Lines: 85 102 83.3 % Date: 2026-02-15 11:43:36 Functions: 6 6 100.0 % Branches: 46 78 59.0 %

Function Name	Hit count
cvc5::internal::smt::InterpolationSolver::checkInterpol(cvc5::internal::NodeTemplate<true>, std::vector<cvc5::internal::NodeTemplate<true>, std::allocator<cvc5::internal::NodeTemplate<true> > > const&, cvc5::internal::NodeTemplate<true> const&)	12
cvc5::internal::smt::InterpolationSolver::getInterpolantNext(cvc5::internal::NodeTemplate<true>&)	94
cvc5::internal::smt::InterpolationSolver::getInterpolant(std::vector<cvc5::internal::NodeTemplate<true>, std::allocator<cvc5::internal::NodeTemplate<true> > > const&, cvc5::internal::NodeTemplate<true> const&, cvc5::internal::TypeNode const&, cvc5::internal::NodeTemplate<true>&)	419
cvc5::internal::smt::InterpolationSolver::~InterpolationSolver()	1834
cvc5::internal::smt::InterpolationSolver::~InterpolationSolver().2	1834
cvc5::internal::smt::InterpolationSolver::InterpolationSolver(cvc5::internal::Env&)	1870

Generated by: LCOV version 1.14