| Coverage (%) | Name | Source Location | Module |
|---|---|---|---|
| ►98.43 | __kmp_GOMP_microtask_wrapper(i[...] | libomp.so | |
| ○ | __kmp_invoke_microtask | libomp.so | |
| ►1.57 | GOMP_parallel | libomp.so | |
| ○ | void Kripke::DispatchHelper<Kr[...] | plugins.hpp:31 | exec |
| ○ | Kripke::Kernel::sweepSubdomain[...] | ArchLayout.h:145 | exec |
| ○ | Kripke::SweepSolver(Kripke::Co[...] | SweepSolver.cpp:78 | exec |
| ○ | Kripke::SteadyStateSolver(Krip[...] | stl_vector.h:680 | exec |
| ○ | main | new_allocator.h:79 | exec |
| ○ | __libc_start_main | libc-2.31.so | |
| ○ | _start | iostream:74 | exec |