LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/smt - smt_driver.cpp (source / functions) Hit Total Coverage Test: coverage.info Lines: 71 81 87.7 % Date: 2025-01-14 12:45:38 Functions: 11 11 100.0 % Branches: 23 34 67.6 %

Function Name	Hit count
cvc5::internal::smt::SmtDriver::notifyPopPre()	9040
cvc5::internal::smt::SmtDriver::notifyPushPre()	9045
cvc5::internal::smt::SmtDriver::notifyPushPost()	9045
cvc5::internal::smt::SmtDriver::refreshAssertions()	16779
cvc5::internal::smt::SmtDriver::notifyPostSolve()	49590
cvc5::internal::smt::SmtDriverSingleCall::checkSatNext(cvc5::internal::preprocessing::AssertionPipeline&)	50446
cvc5::internal::smt::SmtDriver::checkSat(std::vector<cvc5::internal::NodeTemplate<true>, std::allocator<cvc5::internal::NodeTemplate<true> > > const&)	50454
cvc5::internal::smt::SmtDriverSingleCall::SmtDriverSingleCall(cvc5::internal::Env&, cvc5::internal::smt::SmtSolver&, cvc5::internal::smt::ContextManager*)	51786
cvc5::internal::smt::SmtDriver::SmtDriver(cvc5::internal::Env&, cvc5::internal::smt::SmtSolver&, cvc5::internal::smt::ContextManager*)	51794
cvc5::internal::smt::SmtDriverSingleCall::getNextAssertions(cvc5::internal::preprocessing::AssertionPipeline&)	67225
cvc5::internal::smt::SmtDriver::getNextAssertionsInternal(cvc5::internal::preprocessing::AssertionPipeline&)	67240

Generated by: LCOV version 1.14