| Coverage (%) | Name | Source Location | Module |
|---|
| ►78.93+ | gomp_thread_start | team.c:130 | libgomp.so.1.0.0 |
| ○ | start_thread | | libc.so.6 |
| ○ | __GI___clone3 | | libc.so.6 |
| ►3.81+ | Kripke::SweepSolver(Kripke::Co[...] | | exec |
| ○ | Kripke::SteadyStateSolver(Krip[...] | | exec |
| ○ | main | | exec |
| ○ | __libc_start_call_main | | libc.so.6 |
| ○ | __libc_start_main | | libc.so.6 |
| ○ | _start | | exec |
| ►3.55+ | Kripke::SweepSolver(Kripke::Co[...] | | exec |
| ○ | Kripke::SteadyStateSolver(Krip[...] | | exec |
| ○ | main | | exec |
| ○ | __libc_start_call_main | | libc.so.6 |
| ○ | __libc_start_main | | libc.so.6 |
| ○ | _start | | exec |
| ►2.79+ | Kripke::SweepSolver(Kripke::Co[...] | | exec |
| ○ | Kripke::SteadyStateSolver(Krip[...] | | exec |
| ○ | main | | exec |
| ○ | __libc_start_call_main | | libc.so.6 |
| ○ | __libc_start_main | | libc.so.6 |
| ○ | _start | | exec |
| ►2.54+ | Kripke::SteadyStateSolver(Krip[...] | | exec |
| ○ | main | | exec |
| ○ | __libc_start_call_main | | libc.so.6 |
| ○ | __libc_start_main | | libc.so.6 |
| ○ | _start | | exec |
| ►2.28+ | gomp_thread_start | libgomp.h:1108 | libgomp.so.1.0.0 |
| ○ | start_thread | | libc.so.6 |
| ○ | __GI___clone3 | | libc.so.6 |
| ►1.78+ | gomp_thread_start | simple-bar.h:60 | libgomp.so.1.0.0 |
| ○ | start_thread | | libc.so.6 |
| ○ | __GI___clone3 | | libc.so.6 |