LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/smt - smt_solver.cpp (source / functions) Hit Total Coverage Test: coverage.info Lines: 104 109 95.4 % Date: 2026-08-09 10:35:12 Functions: 21 21 100.0 % Branches: 36 66 54.5 %

Function Name	Hit count
cvc5::internal::smt::SmtSolver::getPreprocessedSkolemMap() const	38
cvc5::internal::smt::SmtSolver::resetAssertions()	43
cvc5::internal::smt::SmtSolver::getPreprocessedAssertions() const	50
cvc5::internal::smt::SmtSolver::getQuantifiersEngine()	925
cvc5::internal::smt::SmtSolver::popPropContext()	4338
cvc5::internal::smt::SmtSolver::pushPropContext()	4339
cvc5::internal::smt::SmtSolver::getTheoryEngine()	21561
cvc5::internal::smt::SmtSolver::finishInit()	28698
cvc5::internal::smt::SmtSolver::finishInitPreprocessor()	28741
cvc5::internal::smt::SmtSolver::resetTrail()	31935
cvc5::internal::smt::SmtSolver::checkSatInternal()	32431
cvc5::internal::smt::SmtSolver::~SmtSolver()	36936
cvc5::internal::smt::SmtSolver::~SmtSolver().2	36936
cvc5::internal::smt::SmtSolver::trackPreprocessedAssertions() const	40625
cvc5::internal::smt::SmtSolver::assertToInternal(cvc5::internal::preprocessing::AssertionPipeline&)	40641
cvc5::internal::smt::SmtSolver::preprocess(cvc5::internal::preprocessing::AssertionPipeline&)	40672
cvc5::internal::smt::SmtSolver::SmtSolver(cvc5::internal::Env&, cvc5::internal::smt::SolverEngineStatistics&)	41359
cvc5::internal::smt::SmtSolver::getPropEngine()	76637
cvc5::internal::smt::SmtSolver::getPreprocessor()	85254
cvc5::internal::smt::SmtSolver::interrupt()	253047
cvc5::internal::smt::SmtSolver::getAssertions()	303233

Generated by: LCOV version 1.14