LCOV - code coverage report

Current view: top level - buildbot/coverage/build/src/smt - set_defaults.cpp (source / functions) Hit Total Coverage Test: coverage.info Lines: 623 749 83.2 % Date: 2024-10-06 11:37:27 Functions: 22 22 100.0 % Branches: 1099 1374 80.0 %

Function Name	Hit count
cvc5::internal::smt::SetDefaults::incompatibleWithSeparationLogic(cvc5::internal::Options&, std::basic_ostream<char, std::char_traits<char> >&) const	821
cvc5::internal::smt::SetDefaults::safeUnsatCores(cvc5::internal::Options const&) const	962
cvc5::internal::smt::SetDefaults::setDefaultsSygus(cvc5::internal::Options&) const	7265
cvc5::internal::smt::SetDefaults::usesInputConversion(cvc5::internal::Options const&, std::basic_ostream<char, std::char_traits<char> >&) const	7267
cvc5::internal::smt::SetDefaults::incompatibleWithSygus(cvc5::internal::Options const&, std::basic_ostream<char, std::char_traits<char> >&) const	7267
cvc5::internal::smt::SetDefaults::disableChecking(cvc5::internal::Options&)	11986
cvc5::internal::smt::SetDefaults::incompatibleWithUnsatCores(cvc5::internal::Options&, std::basic_ostream<char, std::char_traits<char> >&) const	18214
cvc5::internal::smt::SetDefaults::incompatibleWithProofs(cvc5::internal::Options&, std::basic_ostream<char, std::char_traits<char> >&) const	18622
cvc5::internal::smt::SetDefaults::incompatibleWithIncremental(cvc5::internal::LogicInfo const&, cvc5::internal::Options&, std::basic_ostream<char, std::char_traits<char> >&, std::basic_ostream<char, std::char_traits<char> >&) const	21265
cvc5::internal::smt::SetDefaults::incompatibleWithQuantifiers(cvc5::internal::Options const&, std::basic_ostream<char, std::char_traits<char> >&) const	42125
cvc5::internal::smt::SetDefaults::incompatibleWithModels(cvc5::internal::Options const&, std::basic_ostream<char, std::char_traits<char> >&) const	49263
cvc5::internal::smt::SetDefaults::widenLogic(cvc5::internal::LogicInfo&, cvc5::internal::Options const&) const	49265
cvc5::internal::smt::SetDefaults::setDefaultsPost(cvc5::internal::LogicInfo const&, cvc5::internal::Options&) const	49265
cvc5::internal::smt::SetDefaults::setDefaultDecisionMode(cvc5::internal::LogicInfo const&, cvc5::internal::Options&) const	49265
cvc5::internal::smt::SetDefaults::setDefaultsQuantifiers(cvc5::internal::LogicInfo const&, cvc5::internal::Options&) const	49265
cvc5::internal::smt::SetDefaults::finalizeLogic(cvc5::internal::LogicInfo&, cvc5::internal::Options&) const	49266
cvc5::internal::smt::SetDefaults::setDefaults(cvc5::internal::LogicInfo&, cvc5::internal::Options&)	49267
cvc5::internal::smt::SetDefaults::setDefaultsPre(cvc5::internal::Options&)	49267
cvc5::internal::smt::SetDefaults::SetDefaults(cvc5::internal::Env&, bool)	49267
cvc5::internal::smt::SetDefaults::usesSygus(cvc5::internal::Options const&) const	187271
cvc5::internal::smt::SetDefaults::isSygus(cvc5::internal::Options const&) const	304405
cvc5::internal::smt::SetDefaults::notifyModifyOption(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) const	385946

Generated by: LCOV version 1.14