LCOV - code coverage report
Current view: top level - buildbot/coverage/build/src/smt - env_obj.cpp (source / functions) Hit Total Coverage
Test: coverage.info Lines: 28 28 100.0 %
Date: 2026-03-04 11:41:08 Functions: 18 18 100.0 %
Branches: 0 0 -

Function Name Sort by function name Hit count Sort by hit count
cvc5::internal::EnvObj::rewriteEqualityExt(cvc5::internal::NodeTemplate<false>) const 7
cvc5::internal::EnvObj::warning() const 497
cvc5::internal::EnvObj::isVerboseOn(long) const 657
cvc5::internal::EnvObj::output(cvc5::internal::options::OutputTag) const 20148
cvc5::internal::EnvObj::evaluate(cvc5::internal::NodeTemplate<false>, std::vector<cvc5::internal::NodeTemplate<true>, std::allocator<cvc5::internal::NodeTemplate<true> > > const&, std::vector<cvc5::internal::NodeTemplate<true>, std::allocator<cvc5::internal::NodeTemplate<true> > > const&, std::unordered_map<cvc5::internal::NodeTemplate<true>, cvc5::internal::NodeTemplate<true>, std::hash<cvc5::internal::NodeTemplate<true> >, std::equal_to<cvc5::internal::NodeTemplate<true> >, std::allocator<std::pair<cvc5::internal::NodeTemplate<true> const, cvc5::internal::NodeTemplate<true> > > > const&, bool) const 60835
cvc5::internal::EnvObj::evaluate(cvc5::internal::NodeTemplate<false>, std::vector<cvc5::internal::NodeTemplate<true>, std::allocator<cvc5::internal::NodeTemplate<true> > > const&, std::vector<cvc5::internal::NodeTemplate<true>, std::allocator<cvc5::internal::NodeTemplate<true> > > const&, bool) const 237614
cvc5::internal::EnvObj::extendedRewrite(cvc5::internal::NodeTemplate<false>, bool) const 538772
cvc5::internal::EnvObj::verbose(long) const 1871698
cvc5::internal::EnvObj::isOutputOn(cvc5::internal::options::OutputTag) const 4169177
cvc5::internal::EnvObj::userContext() const 7336393
cvc5::internal::EnvObj::resourceManager() const 9155661
cvc5::internal::EnvObj::statisticsRegistry() const 9365632
cvc5::internal::EnvObj::EnvObj(cvc5::internal::Env&) 22936803
cvc5::internal::EnvObj::context() const 49516707
cvc5::internal::EnvObj::rewrite(cvc5::internal::NodeTemplate<false>) const 80709543
cvc5::internal::EnvObj::nodeManager() const 101944301
cvc5::internal::EnvObj::options() const 343790757
cvc5::internal::EnvObj::logicInfo() const 357469791

Generated by: LCOV version 1.14