LCOV - code coverage report
Current view: top level Hit Total Coverage
Test: spot2.info Lines: 42115 47439 88.8 %
Date: 2019-01-16 17:51:11 Functions: 2589 2966 87.3 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Directory Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
bin
91.3%91.3%
91.3 % 4389 / 4809 96.4 % 217 / 225
spot/gen
96.9%96.9%
96.9 % 683 / 705 100.0 % 67 / 67
spot/graph
91.2%91.2%
91.2 % 862 / 945 100.0 % 77 / 77
spot/kripke
61.9%61.9%
61.9 % 86 / 139 52.8 % 19 / 36
spot/ltsmin
84.6%84.6%
84.6 % 515 / 609 86.8 % 46 / 53
spot/misc
92.6%92.6%
92.6 % 2171 / 2345 89.6 % 164 / 183
spot/parseaut
92.4%92.4%
92.4 % 1547 / 1674 100.0 % 26 / 26
spot/parsetl
96.0%96.0%
96.0 % 680 / 708 100.0 % 17 / 17
spot/priv
91.0%91.0%
91.0 % 305 / 335 85.0 % 34 / 40
spot/ta
40.9%40.9%
40.9 % 275 / 673 44.8 % 52 / 116
spot/taalgos
71.3%71.3%
71.3 % 754 / 1058 67.3 % 33 / 49
spot/tl
93.9%93.9%
93.9 % 5305 / 5647 89.3 % 293 / 328
spot/twa
85.6%85.6%
85.6 % 4078 / 4762 89.8 % 342 / 381
spot/twaalgos
90.6%90.6%
90.6 % 17004 / 18761 87.9 % 1029 / 1171
spot/twaalgos/gtec
95.7%95.7%
95.7 % 382 / 399 90.0 % 36 / 40
tests/core
80.2%80.2%
80.2 % 2942 / 3668 87.7 % 135 / 154
tests/ltsmin
67.8%67.8%
67.8 % 137 / 202 66.7 % 2 / 3

Generated by: LCOV version 1.13