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	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