LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/smt - check_models.cpp (source / functions) Hit Total Coverage Test: coverage.info Lines: 43 55 78.2 % Date: 2025-01-14 12:45:38 Functions: 2 2 100.0 % Branches: 15 22 68.2 %

Function Name	Hit count
cvc5::internal::smt::CheckModels::CheckModels(cvc5::internal::Env&)	2336
cvc5::internal::smt::CheckModels::checkModel(cvc5::internal::theory::TheoryModel*, cvc5::context::CDList<cvc5::internal::NodeTemplate<true>, cvc5::context::DefaultCleanUp<cvc5::internal::NodeTemplate<true> >, std::allocator<cvc5::internal::NodeTemplate<true> > > const&, bool)	2994

Generated by: LCOV version 1.14