| Current view: | top level - buildbot/coverage/build/src/context - context_mm.cpp (source / functions) | Hit | Total | Coverage | ||
| Test: | coverage.info | Lines: | 54 | 58 | 93.1 % | |
| Date: | 2024-12-12 12:42:24 | Functions: | 6 | 6 | 100.0 % | |
| Branches: | 21 | 36 | 58.3 % | |||
|
| LCOV - code coverage report | |||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
|
Function Name  |
Hit count |
| cvc5::context::ContextMemoryManager::newChunk() | 1273760 |
| cvc5::context::ContextMemoryManager::~ContextMemoryManager() | 14279600 |
| cvc5::context::ContextMemoryManager::ContextMemoryManager() | 14298600 |
| cvc5::context::ContextMemoryManager::pop() | 22016700 |
| cvc5::context::ContextMemoryManager::push() | 22017700 |
| cvc5::context::ContextMemoryManager::newData(unsigned long) | 367687000 |
|
| Generated by: LCOV version 1.14 |