| Coverage (%) | Name | Source Location | Module |
|---|
| ►74.47+ | gomp_thread_start | team.c:130 | libgomp.so.1.0.0 |
| ○ | start_thread | | libc.so.6 |
| ○ | __GI___clone3 | | libc.so.6 |
| ►3.60+ | Kripke::SweepSolver(Kripke::Co[...] | helpers.hpp:205 | exec |
| ○ | Kripke::SteadyStateSolver(Krip[...] | alloc_traits.h:941 | exec |
| ○ | main | new_allocator.h:88 | exec |
| ○ | __libc_start_call_main | | libc.so.6 |
| ○ | __libc_start_main | | libc.so.6 |
| ○ | _start | kripke.cpp:129 | exec |
| ►3.00+ | gomp_thread_start | libgomp.h:1108 | libgomp.so.1.0.0 |
| ○ | start_thread | | libc.so.6 |
| ○ | __GI___clone3 | | libc.so.6 |
| ►3.00+ | gomp_thread_start | simple-bar.h:60 | libgomp.so.1.0.0 |
| ○ | start_thread | | libc.so.6 |
| ○ | __GI___clone3 | | libc.so.6 |
| ►2.70+ | Kripke::SweepSolver(Kripke::Co[...] | helpers.hpp:205 | exec |
| ○ | Kripke::SteadyStateSolver(Krip[...] | alloc_traits.h:941 | exec |
| ○ | main | new_allocator.h:88 | exec |
| ○ | __libc_start_call_main | | libc.so.6 |
| ○ | __libc_start_main | | libc.so.6 |
| ○ | _start | kripke.cpp:129 | exec |
| ►2.70+ | Kripke::SteadyStateSolver(Krip[...] | Kernel.h:45 | exec |
| ○ | main | new_allocator.h:88 | exec |
| ○ | __libc_start_call_main | | libc.so.6 |
| ○ | __libc_start_main | | libc.so.6 |
| ○ | _start | kripke.cpp:129 | exec |
| ►2.70+ | Kripke::SweepSolver(Kripke::Co[...] | plugins.hpp:71 | exec |
| ○ | Kripke::SteadyStateSolver(Krip[...] | alloc_traits.h:941 | exec |
| ○ | main | new_allocator.h:88 | exec |
| ○ | __libc_start_call_main | | libc.so.6 |
| ○ | __libc_start_main | | libc.so.6 |
| ○ | _start | kripke.cpp:129 | exec |
| ►1.50+ | GOMP_parallel | libgomp.h:982 | libgomp.so.1.0.0 |
| ○ | void Kripke::DispatchHelper<Kr[...] | plugins.hpp:71 | exec |
| ○ | Kripke::Kernel::sweepSubdomain[...] | ArchLayout.h:155 | exec |
| ○ | Kripke::SweepSolver(Kripke::Co[...] | SweepSolver.cpp:78 | exec |
| ○ | Kripke::SteadyStateSolver(Krip[...] | alloc_traits.h:941 | exec |
| ○ | main | new_allocator.h:88 | exec |
| ○ | __libc_start_call_main | | libc.so.6 |
| ○ | __libc_start_main | | libc.so.6 |
| ○ | _start | kripke.cpp:129 | exec |