LCOV - code coverage report
Current view: top level - seahorn/lib Hit Total Coverage
Test: all_fuzz.info Lines: 722 994 72.6 %
Date: 2021-04-23 16:28:21 Functions: 73 108 67.6 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
bounds.c
37.5%37.5%
 37.5 % 3 / 8 37.5 % 3 / 8
fuzz_allocators.c
100.0%
 100.0 % 30 / 30 100.0 % 8 / 8
fuzz_array_list_helper.c
74.2%74.2%
 74.2 % 23 / 31 66.7 % 2 / 3
fuzz_byte_buf_helper.c
100.0%
 100.0 % 42 / 42 100.0 % 5 / 5
fuzz_hash_table_helper.c
20.9%20.9%
 20.9 % 24 / 115 11.8 % 2 / 17
fuzz_priority_queue_helper.c
81.2%81.2%
 81.2 % 13 / 16 66.7 % 2 / 3
fuzz_ring_buffer_helper.c
25.0%25.0%
 25.0 % 16 / 64 25.0 % 1 / 4
fuzz_string_helper.c
74.8%74.8%
 74.8 % 80 / 107 70.0 % 7 / 10
linked_list_helper.c
82.8%82.8%
 82.8 % 313 / 378 95.7 % 22 / 23
nd_fuzz.c
86.5%86.5%
 86.5 % 109 / 126 76.5 % 13 / 17
utils.c
89.6%89.6%
 89.6 % 69 / 77 80.0 % 8 / 10

Generated by: LCOV version 1.13