LCOV - code coverage report
Current view: top level - utilities/include/mcrl2/utilities Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 1278 1646 77.6 %
Date: 2024-03-08 02:52:28 Functions: 1035 1331 77.8 %
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
big_numbers.h
94.9%94.9%
94.9 % 262 / 276 96.9 % 31 / 32
bitstream.h
100.0%
100.0 % 3 / 3 100.0 % 2 / 2
block_allocator.h
87.5%87.5%
87.5 % 7 / 8 91.7 % 33 / 36
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
dynamiclibrary.h
78.9%78.9%
78.9 % 30 / 38 80.0 % 8 / 10
exception.h
100.0%
100.0 % 11 / 11 80.0 % 4 / 5
execution_timer.h
47.2%47.2%
47.2 % 25 / 53 71.4 % 5 / 7
file_utility.h
88.2%88.2%
88.2 % 30 / 34 81.8 % 9 / 11
fixed_size_cache.h
81.0%81.0%
81.0 % 17 / 21 100.0 % 4 / 4
hash_utility.h
100.0%
100.0 % 11 / 11 100.0 % 6 / 6
hashtable.h
100.0%
100.0 % 6 / 6 100.0 % 5 / 5
indexed_set.h
100.0%
100.0 % 20 / 20 58.8 % 10 / 17
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
logger.h
69.8%69.8%
69.8 % 60 / 86 82.1 % 23 / 28
math.h
100.0%
100.0 % 17 / 17 100.0 % 2 / 2
memory_pool.h
73.7%73.7%
73.7 % 73 / 99 81.4 % 57 / 70
mutex.h
100.0%
100.0 % 6 / 6 100.0 % 2 / 2
number_postfix_generator.h
100.0%
100.0 % 35 / 35 100.0 % 6 / 6
parse_numbers.h
100.0%
100.0 % 39 / 39 100.0 % 3 / 3
power_of_two.h
100.0%
100.0 % 11 / 11 100.0 % 2 / 2
reachable_nodes.h
100.0%
100.0 % 17 / 17 100.0 % 6 / 6
sequence.h
100.0%
100.0 % 16 / 16 100.0 % 8 / 8
shared_mutex.h
100.0%
100.0 % 100 / 100 100.0 % 22 / 22
shared_reference.h
98.6%98.6%
98.6 % 68 / 69 100.0 % 20 / 20
skip.h
0.0%
0.0 % 0 / 1 0.0 % 0 / 5
stack_array.h
100.0%
100.0 % 17 / 17 50.0 % 7 / 14
stopwatch.h
100.0%
100.0 % 9 / 9 100.0 % 3 / 3
tagged_pointer.h
100.0%
100.0 % 32 / 32 100.0 % 14 / 14
test_utilities.h
76.9%76.9%
76.9 % 20 / 26 100.0 % 4 / 4
text_utility.h
97.4%97.4%
97.4 % 38 / 39 63.6 % 7 / 11
tool.h
0.0%
0.0 % 0 / 74 0.0 % 0 / 12
uncompiledlibrary.h
59.3%59.3%
59.3 % 32 / 54 83.3 % 5 / 6
unordered_map.h
100.0%
100.0 % 36 / 36 76.4 % 97 / 127
unordered_set.h
78.6%78.6%
78.6 % 66 / 84 86.8 % 440 / 507
unused.h
100.0%
100.0 % 2 / 2 75.8 % 116 / 153
workarounds.h
100.0%
100.0 % 2 / 2 100.0 % 26 / 26

Generated by: LCOV version 1.14