Coverage (%) | Name | Source Location | Module |
►97.37+ | __kmp_hyper_barrier_release(ba[...] | | libomp.so |
○ | __kmp_fork_barrier(int, int) | | libomp.so |
○ | __kmp_launch_thread | | libomp.so |
○ | __kmp_launch_worker(void*) | | libomp.so |
○ | start_thread | | libpthread-2.31.so |
○ | __clone | | libc-2.31.so |
►2.63+ | __kmp_hyper_barrier_gather(bar[...] | | libomp.so |
○ | __kmp_join_barrier(int) | | libomp.so |
○ | __kmp_internal_join | | libomp.so |
○ | __kmp_join_call | | libomp.so |
○ | GOMP_parallel | | libomp.so |
○ | void Kripke::DispatchHelper<Kr[...] | plugins.hpp:31 | exec |
○ | Kripke::Kernel::scattering(Kri[...] | ArchLayout.h:145 | exec |
○ | Kripke::SteadyStateSolver(Krip[...] | SteadyStateSolver.cpp:65 | exec |
○ | main | new_allocator.h:79 | exec |
○ | __libc_start_main | | libc-2.31.so |
○ | _start | iostream:74 | exec |