void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const - Load Distribution

void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const - Sorted Load Distribution

void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const - Load Distribution All Threads

Coverage (%)NameSource LocationModule
100.00+auto Kripke::dispatch<SweepSdo[...]ArchLayout.h:145exec
Kripke::Kernel::sweepSubdomain[...]ArchLayout.h:162exec
Kripke::SweepSolver(Kripke::Co[...]SweepSolver.cpp:78exec
Kripke::SteadyStateSolver(Krip[...]stl_vector.h:335exec
mainkripke.cpp:482exec
__libc_start_mainlibc-2.31.so
_startkripke.cpp:0exec
×