exec - Loop 2242 - Load Distribution

exec - Loop 2242 - Sorted Load Distribution

exec - Loop 2242 - Load Distribution All Threads

Coverage (%)NameSource LocationModule
100.00+GOMP_parallellibomp.so
void Kripke::DispatchHelper<Kr[...]plugins.hpp:33exec
Kripke::Kernel::LTimes(Kripke:[...]ArchLayout.h:145exec
Kripke::SteadyStateSolver(Krip[...]allocator.h:147exec
mainkripke.cpp:485exec
__libc_start_mainlibc-2.31.so
_startiostream:74exec
×