LCOV - code coverage report
Current view: top level - utilities/include/mcrl2/utilities Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1291 1659 77.8 %
Date: 2024-04-26 03:18:02 Functions: 1058 1336 79.2 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
basename.h
0.0%
 0.0 % 0 / 16 0.0 % 0 / 1
skip.h
0.0%
 0.0 % 0 / 1 0.0 % 0 / 5
input_output_tool.h
0.0%
 0.0 % 0 / 18 0.0 % 0 / 6
input_tool.h
0.0%
 0.0 % 0 / 18 0.0 % 0 / 6
tool.h
0.0%
 0.0 % 0 / 74 0.0 % 0 / 12
cache_policy.h
30.4%30.4%
 30.4 % 7 / 23 33.3 % 2 / 6
command_line_interface.h
69.9%69.9%
 69.9 % 153 / 219 36.5 % 46 / 126
stack_array.h
100.0%
 100.0 % 17 / 17 50.0 % 7 / 14
indexed_set.h
100.0%
 100.0 % 20 / 20 58.8 % 10 / 17
text_utility.h
97.4%97.4%
 97.4 % 38 / 39 63.6 % 7 / 11
execution_timer.h
47.2%47.2%
 47.2 % 25 / 53 71.4 % 5 / 7
unordered_map.h
100.0%
 100.0 % 36 / 36 76.4 % 97 / 127
exception.h
100.0%
 100.0 % 11 / 11 80.0 % 4 / 5
dynamiclibrary.h
78.9%78.9%
 78.9 % 30 / 38 80.0 % 8 / 10
memory_pool.h
73.7%73.7%
 73.7 % 73 / 99 81.4 % 57 / 70
file_utility.h
88.2%88.2%
 88.2 % 30 / 34 81.8 % 9 / 11
logger.h
69.8%69.8%
 69.8 % 60 / 86 82.1 % 23 / 28
uncompiledlibrary.h
59.3%59.3%
 59.3 % 32 / 54 83.3 % 5 / 6
unordered_set.h
78.6%78.6%
 78.6 % 66 / 84 86.8 % 441 / 508
unused.h
100.0%
 100.0 % 2 / 2 87.7 % 135 / 154
block_allocator.h
87.5%87.5%
 87.5 % 7 / 8 91.7 % 33 / 36
big_numbers.h
94.9%94.9%
 94.9 % 262 / 276 96.9 % 31 / 32
mutex.h
100.0%
 100.0 % 6 / 6 100.0 % 2 / 2
power_of_two.h
100.0%
 100.0 % 11 / 11 100.0 % 2 / 2
math.h
100.0%
 100.0 % 17 / 17 100.0 % 2 / 2
bitstream.h
100.0%
 100.0 % 3 / 3 100.0 % 2 / 2
progress_meter.h
100.0%
 100.0 % 12 / 12 100.0 % 3 / 3
stopwatch.h
100.0%
 100.0 % 9 / 9 100.0 % 3 / 3
parse_numbers.h
100.0%
 100.0 % 39 / 39 100.0 % 3 / 3
test_utilities.h
76.9%76.9%
 76.9 % 20 / 26 100.0 % 4 / 4
fixed_size_cache.h
81.0%81.0%
 81.0 % 17 / 21 100.0 % 4 / 4
hashtable.h
100.0%
 100.0 % 6 / 6 100.0 % 5 / 5
reachable_nodes.h
100.0%
 100.0 % 17 / 17 100.0 % 6 / 6
number_postfix_generator.h
100.0%
 100.0 % 35 / 35 100.0 % 6 / 6
hash_utility.h
100.0%
 100.0 % 11 / 11 100.0 % 6 / 6
sequence.h
100.0%
 100.0 % 16 / 16 100.0 % 8 / 8
tagged_pointer.h
100.0%
 100.0 % 32 / 32 100.0 % 14 / 14
shared_reference.h
98.6%98.6%
 98.6 % 68 / 69 100.0 % 20 / 20
shared_mutex.h
100.0%
 100.0 % 101 / 101 100.0 % 22 / 22
workarounds.h
100.0%
 100.0 % 2 / 2 100.0 % 26 / 26

Generated by: LCOV version 1.14