| Coverage (%) | Name | Source Location | Module |
| ►39.61+ | bool _INTERNAL021345c1::__kmp_[...] | | libiomp5.so |
| ○ | _INTERNAL021345c1::__kmp_hyper[...] | | libiomp5.so |
| ○ | __kmp_fork_barrier(int, int) | | libiomp5.so |
| ○ | __kmp_launch_thread | | libiomp5.so |
| ○ | _INTERNALea951ae6::__kmp_launc[...] | | libiomp5.so |
| ○ | start_thread | | libc.so.6 |
| ○ | __GI___clone3 | | libc.so.6 |
| ►35.38+ | __kmp_invoke_microtask | | libiomp5.so |
| ○ | __kmp_invoke_task_func | | libiomp5.so |
| ○ | __kmp_launch_thread | | libiomp5.so |
| ○ | _INTERNALea951ae6::__kmp_launc[...] | | libiomp5.so |
| ○ | start_thread | | libc.so.6 |
| ○ | __GI___clone3 | | libc.so.6 |
| ►4.05+ | bool _INTERNAL021345c1::__kmp_[...] | | libiomp5.so |
| ○ | _INTERNAL021345c1::__kmp_hyper[...] | | libiomp5.so |
| ○ | __kmp_fork_barrier(int, int) | | libiomp5.so |
| ○ | __kmp_launch_thread | | libiomp5.so |
| ○ | _INTERNALea951ae6::__kmp_launc[...] | | libiomp5.so |
| ►2.43+ | SteadyStateSolver | stl_vector.h:335 | exec |
| ○ | main | kripke.cpp:504 | exec |
| ○ | __libc_start_call_main | | libc.so.6 |
| ○ | __libc_start_main | | libc.so.6 |
| ○ | _start | kripke.cpp:0 | exec |
| ►2.32+ | __kmp_invoke_microtask | | libiomp5.so |
| ○ | __kmp_invoke_task_func | | libiomp5.so |
| ○ | __kmp_launch_thread | | libiomp5.so |
| ○ | _INTERNALea951ae6::__kmp_launc[...] | | libiomp5.so |
| ►2.08+ | _INTERNAL021345c1::__kmp_hyper[...] | | libiomp5.so |
| ○ | __kmp_fork_barrier(int, int) | | libiomp5.so |
| ○ | __kmp_launch_thread | | libiomp5.so |
| ○ | _INTERNALea951ae6::__kmp_launc[...] | | libiomp5.so |
| ○ | start_thread | | libc.so.6 |
| ○ | __GI___clone3 | | libc.so.6 |
| ►2.03+ | bool _INTERNAL021345c1::__kmp_[...] | | libiomp5.so |
| ○ | _INTERNAL021345c1::__kmp_hyper[...] | | libiomp5.so |
| ○ | __kmp_fork_barrier(int, int) | | libiomp5.so |
| ○ | __kmp_launch_thread | | libiomp5.so |
| ○ | _INTERNALea951ae6::__kmp_launc[...] | | libiomp5.so |
| ○ | start_thread | | libc.so.6 |
| ○ | __GI___clone3 | | libc.so.6 |
| ►1.04+ | __kmp_hyper_barrier_gather | | libiomp5.so |
| ○ | __kmp_join_barrier(int) | | libiomp5.so |
| ○ | __kmp_launch_thread | | libiomp5.so |
| ○ | _INTERNALea951ae6::__kmp_launc[...] | | libiomp5.so |
| ○ | start_thread | | libc.so.6 |
| ○ | __GI___clone3 | | libc.so.6 |