| Coverage (%) | Name | Source Location | Module |
|---|
| ►87.45+ | __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 |
| ►7.79+ | __kmp_invoke_microtask | | libiomp5.so |
| ○ | __kmp_invoke_task_func | | libiomp5.so |
| ○ | __kmp_launch_thread | | libiomp5.so |
| ○ | _INTERNALea951ae6::__kmp_launc[...] | | libiomp5.so |
| ►2.80+ | __kmp_invoke_microtask | | libiomp5.so |
| ○ | __kmp_invoke_task_func | | libiomp5.so |
| ○ | __kmp_fork_call | | libiomp5.so |
| ○ | __kmpc_fork_call | | libiomp5.so |
| ○ | Kripke::Kernel::LPlusTimes(Kri[...] | | exec |
| ○ | Kripke::SteadyStateSolver(Krip[...] | | exec |
| ○ | main | | exec |
| ○ | __libc_start_call_main | | libc.so.6 |
| ○ | __libc_start_main | | libc.so.6 |
| ○ | _start | | exec |
| ►1.07+ | __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 |