| Coverage (%) | Name | Source Location | Module |
|---|
| ►75.39+ | __kmp_join_barrier(int) | | libomp.so |
| ○ | __kmp_launch_thread | | libomp.so |
| ○ | __kmp_launch_worker(void*) | | libomp.so |
| ○ | start_thread | | libc.so.6 |
| ○ | __GI___clone3 | | libc.so.6 |
| ►11.89+ | __kmp_join_barrier(int) | | libomp.so |
| ○ | __kmp_internal_join | | libomp.so |
| ○ | __kmp_join_call | | libomp.so |
| ○ | __kmpc_fork_call | | libomp.so |
| ○ | void Kripke::DispatchHelper<Kr[...] | plugins.hpp:71 | exec |
| ►7.95+ | __kmp_join_barrier(int) | | libomp.so |
| ○ | __kmp_internal_join | | libomp.so |
| ○ | __kmp_join_call | | libomp.so |
| ○ | __kmpc_fork_call | | libomp.so |
| ○ | void Kripke::DispatchHelper<Kr[...] | plugins.hpp:71 | exec |
| ►3.02+ | __kmp_join_barrier(int) | | libomp.so |
| ○ | __kmp_internal_join | | libomp.so |
| ○ | __kmp_join_call | | libomp.so |
| ○ | __kmpc_fork_call | | libomp.so |
| ○ | void LPlusTimesSdom::operator([...] | plugins.hpp:71 | exec |