| Coverage (%) | Name | Source Location | Module |
|---|
| ►68.67+ | __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 |
| ►28.92+ | kmp_flag_64<false, true>::wait[...] | | libomp.so |
| ○ | __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 |
| ►1.20+ | __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 |
| ►1.20+ | __kmp_hyper_barrier_gather(bar[...] | | libomp.so |
| ○ | __kmp_join_barrier(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 |