|
Function: __kmp_get_global_thread_id |
Module: libomp.so |
Source: :0-0 |
Coverage: 0.03% |
|
*** This Panel is Intentionally Left Blank. ***
It is due to a lack of debug symbols in the given object
(loop or function). |
| Coverage (%) | Name | Source Location | Module |
|---|
| ►100.00+ | GOMP_parallel | | libomp.so |
| ○ | void Kripke::DispatchHelper<Kr[...] | plugins.hpp:33 | exec |
| ○ | Kripke::Kernel::LTimes(Kripke:[...] | ArchLayout.h:145 | exec |
| ○ | Kripke::SteadyStateSolver(Krip[...] | allocator.h:147 | exec |
| ○ | main | kripke.cpp:485 | exec |
| ○ | __libc_start_main | | libc-2.31.so |
| ○ | _start | iostream:74 | exec |
|
|
|
|
| Source file and lines | |
| Module | libomp.so |
| Name | Coverage (%) | Time (s) |
|---|
| ○__kmp_get_global_thread_id | 0.03 | 0.01 |
