Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►98.47 | __kmp_GOMP_microtask_wrapper(i[...] | libomp.so | |
○ | __kmp_invoke_microtask | libomp.so | |
►1.53 | GOMP_parallel | libomp.so | |
○ | void LPlusTimesSdom::operator([...] | plugins.hpp:33 | exec |
○ | Kripke::Kernel::LPlusTimes(Kri[...] | ArchLayout.h:145 | exec |
○ | Kripke::SteadyStateSolver(Krip[...] | SteadyStateSolver.cpp:82 | exec |
○ | main | new_allocator.h:79 | exec |
○ | __libc_start_main | libc-2.31.so | |
○ | _start | iostream:74 | exec |