unknown_function - Load Distribution
←
Run 1
→
unknown_function - Sorted Load Distribution
←
Run 1
→
unknown_function - Load Distribution All Threads
←
Run 1
→
Run 1
Coverage (%)
Name
Source Location
Module
►
75.54
+
main
new_allocator.h:88
exec
○
__libc_start_main
libc-2.28.so
►
23.27
+
Kripke::SteadyStateSolver(Krip[...]
alloc_traits.h:944
libkripke.so
○
main
new_allocator.h:88
exec
○
__libc_start_main
libc-2.28.so
×