| Coverage (%) | Name | Source Location | Module |
| ►97.22+ | Kripke::ParallelComm::getReady[...] | new_allocator.h:145 | exec |
| ○ | Kripke::SweepComm::readySubdom[...] | SweepComm.cpp:65 | exec |
| ○ | SweepSolver | stl_vector.h:919 | exec |
| ○ | SteadyStateSolver | stl_vector.h:335 | exec |
| ○ | main | kripke.cpp:504 | exec |
| ○ | __libc_start_call_main | | libc.so.6 |
| ○ | __libc_start_main | | libc.so.6 |
| ○ | _start | kripke.cpp:0 | exec |
| ►2.78+ | Kripke::ParallelComm::getReady[...] | new_allocator.h:145 | exec |
| ○ | Kripke::SweepComm::readySubdom[...] | SweepComm.cpp:65 | exec |
| ○ | SweepSolver | stl_vector.h:919 | exec |
| ○ | SteadyStateSolver | stl_vector.h:335 | exec |
| ○ | main | kripke.cpp:504 | exec |