| Coverage (%) | Name | Source Location | Module |
| ►98.53+ | __kmp_invoke_microtask | | libomp.so |
| ○ | __kmp_invoke_task_func | | libomp.so |
| ○ | __kmp_launch_thread | | libomp.so |
| ○ | __kmp_launch_worker(void*) | | libomp.so |
| ○ | start_thread | | libc.so.6 |
| ○ | thread_start | | libc.so.6 |
| ►1.47+ | __kmp_invoke_microtask | | libomp.so |
| ○ | __kmp_invoke_task_func | | libomp.so |
| ○ | __kmp_fork_call | | libomp.so |
| ○ | __kmpc_fork_call | | libomp.so |
| ○ | void LPlusTimesSdom::operator([...] | plugins.hpp:66 | exec |
| ○ | auto Kripke::dispatch<LPlusTim[...] | ArchLayout.h:206 | exec |
| ○ | Kripke::Kernel::LPlusTimes(Kri[...] | stl_iterator.h:1102 | exec |
| ○ | Kripke::SteadyStateSolver(Krip[...] | SteadyStateSolver.cpp:79 | exec |
| ○ | main | kripke.cpp:509 | exec |
| ○ | __libc_start_call_main | | libc.so.6 |
| ○ | __libc_start_main | | libc.so.6 |
| ○ | _start | LPlusTimes.cpp:0 | exec |