Coverage (%) | Name | Source Location | Module |
---|---|---|---|
►50.00 | unknown kernel region | unknown kernel region | kernel |
○ | void RAJA::internal::Statement[...] | LTimes.cpp:62 | libkripke.so |
○ | GOMP_parallel | libgomp.h:985 | libgomp.so.1.0.0 |
►50.00 | unknown kernel region | unknown kernel region | kernel |
○ | __nss_database_lookup | libc.so.6 | |
○ | Kripke::SteadyStateSolver(Krip[...] | alloc_traits.h:944 | libkripke.so |
○ | main | new_allocator.h:88 | exec |
○ | __libc_init_first | libc.so.6 |