| Coverage (%) | Name | Source Location | Module |
|---|
| ►74.77+ | __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.04+ | __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 |
| ►10.87+ | __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 |
| ►1.78+ | __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 |
| ►1.27+ | __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 |