| LCOV - code coverage report | |||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
| Function Name |
Hit count |
| cvc5::internal::language::isLangSmt2(cvc5::internal::Language) | 37242 |
| cvc5::internal::language::isLangSygus(cvc5::internal::Language) | 197549 |
| Generated by: LCOV version 1.14 |