|
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 |