exec - Loop 2488 - Load Distribution

exec - Loop 2488 - Sorted Load Distribution

exec - Loop 2488 - Load Distribution All Threads

Coverage (%)NameSource LocationModule
98.43+__kmp_GOMP_microtask_wrapper(i[...]libomp.so
__kmp_invoke_microtasklibomp.so
1.57+GOMP_parallellibomp.so
void Kripke::DispatchHelper<Kr[...]plugins.hpp:31exec
Kripke::Kernel::sweepSubdomain[...]ArchLayout.h:145exec
Kripke::SweepSolver(Kripke::Co[...]SweepSolver.cpp:78exec
Kripke::SteadyStateSolver(Krip[...]stl_vector.h:680exec
mainnew_allocator.h:79exec
__libc_start_mainlibc-2.31.so
_startiostream:74exec
×