| Coverage (%) | Name | Source Location | Module |
|---|
| ►16.05+ | Kripke::SweepComm::readySubdom[...] | SweepComm.cpp:65 | exec |
| ○ | Kripke::SweepSolver(Kripke::Co[...] | stl_vector.h:992 | exec |
| ○ | Kripke::SteadyStateSolver(Krip[...] | stl_vector.h:300 | exec |
| ○ | main | kripke.cpp:485 | exec |
| ○ | __libc_start_call_main | | libc.so.6 |
| ○12.34 | Unknown function | | libmpi.so.12.0.0 |
| ○9.88 | Unknown function | | libmpi.so.12.0.0 |
| ○8.64 | Unknown function | | libmpi.so.12.0.0 |
| ○8.64 | Unknown function | | libmpi.so.12.0.0 |
| ○6.17 | Unknown function | | libmpi.so.12.0.0 |
| ○4.94 | Unknown function | | libmpi.so.12.0.0 |
| ○4.94 | Unknown function | | libmpi.so.12.0.0 |
| ○4.93 | Unknown function | | libmpi.so.12.0.0 |
| ○3.70 | Unknown function | | libmpi.so.12.0.0 |
| ○3.70 | Unknown function | | libmpi.so.12.0.0 |
| ○2.47 | Unknown function | | libmpi.so.12.0.0 |
| ○2.47 | Unknown function | | libmpi.so.12.0.0 |
| ○2.47 | Unknown function | | libmpi.so.12.0.0 |
| ○2.47 | Unknown function | | libmpi.so.12.0.0 |
| ○2.47 | Unknown function | | libmpi.so.12.0.0 |
| ○1.23 | Unknown function | | libmpi.so.12.0.0 |
| ○1.23 | Unknown function | | libmpi.so.12.0.0 |