| Coverage (%) | Name | Source Location | Module |
| ►71.70+ | MPIDI_Progress_test | | libmpi.so.12.0.0 |
| ○ | MPIR_Testany_state | | libmpi.so.12.0.0 |
| ○ | MPIR_Testany | | libmpi.so.12.0.0 |
| ○ | MPI_Testany | | libmpi.so.12.0.0 |
| ○ | 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 |
| ►10.61+ | MPIDI_Progress_test | | libmpi.so.12.0.0 |
| ○ | MPIR_Testany_state | | libmpi.so.12.0.0 |
| ○ | MPIR_Testany | | libmpi.so.12.0.0 |
| ○ | MPI_Testany | | libmpi.so.12.0.0 |
| ○ | 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 |
| ►5.47+ | MPIDI_Progress_test | | libmpi.so.12.0.0 |
| ○ | MPID_Progress_wait | | libmpi.so.12.0.0 |
| ○ | MPIR_Waitall_state | | libmpi.so.12.0.0 |
| ○ | MPIR_Waitall | | libmpi.so.12.0.0 |
| ○ | MPI_Waitall | | libmpi.so.12.0.0 |
| ○ | Kripke::ParallelComm::waitAllS[...] | stl_vector.h:1608 | exec |
| ○ | Kripke::SweepComm::workRemaini[...] | SweepComm.cpp:54 | exec |
| ○ | Kripke::SweepSolver(Kripke::Co[...] | SweepSolver.cpp:54 | 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 |
| ►4.82+ | MPIDI_Progress_test | | libmpi.so.12.0.0 |
| ○ | MPID_Progress_wait | | libmpi.so.12.0.0 |
| ○ | MPIR_Wait_impl | | libmpi.so.12.0.0 |
| ○ | MPIC_Wait | | libmpi.so.12.0.0 |
| ○ | MPIC_Sendrecv | | libmpi.so.12.0.0 |
| ○ | MPIR_Allgather_intra_recursive[...] | | libmpi.so.12.0.0 |
| ○ | MPIR_Allgather_intra_auto | | libmpi.so.12.0.0 |
| ○ | MPIR_Allgather_impl | | libmpi.so.12.0.0 |
| ○ | MPIR_Comm_split_impl | | libmpi.so.12.0.0 |
| ○ | MPI_Comm_split | | libmpi.so.12.0.0 |
| ○ | Kripke::Core::PartitionSpace::[...] | Comm.h:76 | exec |
| ○ | Kripke::Generate::generateDeco[...] | DataStore.h:36 | exec |
| ○ | Kripke::generateProblem(Kripke[...] | Generate.cpp:44 | exec |
| ○ | main | kripke.cpp:504 | exec |
| ○ | __libc_start_call_main | | libc.so.6 |
| ○ | __libc_start_main | | libc.so.6 |
| ○ | _start | kripke.cpp:129 | exec |
| ►2.25+ | ADIOI_GEN_SetLockDirect64 | | libmpi.so.12.0.0 |
| ○ | MPIDI_Progress_test | | libmpi.so.12.0.0 |
| ○ | MPIR_Testany_state | | libmpi.so.12.0.0 |
| ○ | MPIR_Testany | | libmpi.so.12.0.0 |
| ○ | MPI_Testany | | libmpi.so.12.0.0 |
| ○ | 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 |
| ►1.93+ | ADIOI_GEN_SetLockDirect64 | | libmpi.so.12.0.0 |
| ○ | MPIDI_Progress_test | | libmpi.so.12.0.0 |
| ○ | MPIR_Testany_state | | libmpi.so.12.0.0 |
| ○ | MPIR_Testany | | libmpi.so.12.0.0 |
| ○ | MPI_Testany | | libmpi.so.12.0.0 |
| ○ | 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 |
| ►1.29+ | ADIOI_GEN_SetLockDirect64 | | libmpi.so.12.0.0 |
| ○ | MPIDI_Progress_test | | libmpi.so.12.0.0 |
| ○ | MPIR_Testany_state | | libmpi.so.12.0.0 |
| ○ | MPIR_Testany | | libmpi.so.12.0.0 |
| ○ | MPI_Testany | | libmpi.so.12.0.0 |
| ○ | 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 |