Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector<Kripke::SdomId, std::allocator<Kripke::SdomId> >, bool) - Load Distribution

Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector<Kripke::SdomId, std::allocator<Kripke::SdomId> >, bool) - Sorted Load Distribution

Kripke::SweepSolver(Kripke::Core::DataStore&, std::vector<Kripke::SdomId, std::allocator<Kripke::SdomId> >, bool) - Load Distribution All Threads

Coverage (%)NameSource LocationModule
►88.46+Kripke::SteadyStateSolver(Krip[...]SteadyStateSolver.cpp:91exec
○mainkripke.cpp:482exec
○__libc_start_call_mainlibc.so.6
►11.54+Kripke::SteadyStateSolver(Krip[...]SteadyStateSolver.cpp:91exec
○mainkripke.cpp:482exec
×