Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►100.00 | __kmp_invoke_microtask | libiomp5.so | |
○ | __kmp_fork_call | libiomp5.so | |
○ | __kmpc_fork_call | libiomp5.so | |
○ | void LPlusTimesSdom::operator([...] | internal.hpp:345 | exec |
○ | Kripke::Kernel::LPlusTimes(Kri[...] | ArchLayout.h:179 | exec |
○ | Kripke::SteadyStateSolver(Krip[...] | SteadyStateSolver.cpp:71 | exec |
○ | main | kripke.cpp:482 | exec |
○ | __libc_init_first | libc.so.6 |