| Coverage (%) | Name | Source Location | Module |
| ►86.87+ | Kripke::ParallelComm::testReci[...] | ParallelComm.cpp:228 | exec |
| ○ | Kripke::SweepComm::readySubdom[...] | SweepComm.cpp:65 | exec |
| ○ | Kripke::SweepSolver(Kripke::Co[...] | stl_vector.h:992 | exec |
| ○ | Kripke::SteadyStateSolver(Krip[...] | alloc_traits.h:941 | exec |
| ○ | main | new_allocator.h:88 | exec |
| ○ | __libc_start_call_main | | libc.so.6 |
| ○ | __libc_start_main | | libc.so.6 |
| ○ | _start | kripke.cpp:129 | exec |
| ►13.13+ | Kripke::ParallelComm::testReci[...] | ParallelComm.cpp:228 | exec |
| ○ | Kripke::SweepComm::readySubdom[...] | SweepComm.cpp:65 | exec |
| ○ | Kripke::SweepSolver(Kripke::Co[...] | stl_vector.h:992 | exec |
| ○ | Kripke::SteadyStateSolver(Krip[...] | alloc_traits.h:941 | exec |
| ○ | main | new_allocator.h:88 | exec |
| ○ | __libc_start_call_main | | libc.so.6 |
| ○ | __libc_start_main | | libc.so.6 |