| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►100.00 | GOMP_parallel | libomp.so | |
| ○ | Kripke::Kernel::population(Kri[...] | tuple.hpp:90 | exec |
| ○ | Kripke::SteadyStateSolver(Krip[...] | SteadyStateSolver.cpp:100 | exec |
| ○ | main | kripke.cpp:485 | exec |
| ○ | __libc_start_main | libc-2.31.so | |
| ○ | _start | iostream:74 | exec |