OV - exec - Function unknown_kernel

	Function: unknown_kernel_region	Module: kernel	Source: Not Available	Coverage (incl. loops): 0.05% \| (excl. loops): 0.00%

  ***  This Panel is Intentionally Left Blank.  ***

It is due to a lack of debug symbols in the given object
(loop or function).

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

min	med	avg	max

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value

min	med	avg	max

Percentile Index	10	20	30	40	50	60	70	80	90	100
Value

Path /

Source file and lines
Module	kernel

Name	Coverage (%)	Time (s)
○unknown_kernel_region	0.05	0.01

Report Configuration