| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►72.04 | main | kripke.cpp:482 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ►14.29 | Kripke::SteadyStateSolver(Krip[...] | SteadyStateSolver.cpp:91 | exec |
| ○ | main | kripke.cpp:482 | exec |
| ○ | __libc_start_call_main | libc.so.6 | |
| ○10.62 | main | kripke.cpp:482 | exec |
| ►2.44 | Kripke::SteadyStateSolver(Krip[...] | SteadyStateSolver.cpp:91 | exec |
| ○ | main | kripke.cpp:482 | exec |