Coverage (%) | Name | Source Location | Module |
○29.27 | Unknown function | | libmpi.so.12.0.0 |
○18.29 | Unknown function | | libmpi.so.12.0.0 |
○15.85 | Unknown function | | libmpi.so.12.0.0 |
○12.20 | Unknown function | | libmpi.so.12.0.0 |
►2.44+ | Kripke::SweepComm::readySubdom[...] | SweepComm.cpp:65 | exec |
○ | Kripke::SweepSolver(Kripke::Co[...] | stl_vector.h:806 | exec |
○ | Kripke::SteadyStateSolver(Krip[...] | stl_vector.h:285 | exec |
○ | main | kripke.cpp:482 | exec |
○ | __libc_start_main | | libc-2.28.so |
○2.44 | Unknown function | | libmpi.so.12.0.0 |
○1.22 | Unknown function | | libmpi.so.12.0.0 |
○1.22 | Unknown function | | libmpi.so.12.0.0 |