LCOV - code coverage report
Current view: top level Hit Total Coverage
Test: spot2.info Lines: 42827 48278 88.7 %
Date: 2019-05-20 21:02:26 Functions: 2631 3010 87.4 %
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.7%91.7%
91.7 % 4433 / 4833 96.5 % 219 / 227
spot/gen
96.9%96.9%
96.9 % 683 / 705 100.0 % 67 / 67
spot/graph
91.1%91.1%
91.1 % 891 / 978 98.7 % 77 / 78
spot/kripke
70.9%70.9%
70.9 % 105 / 148 61.1 % 22 / 36
spot/ltsmin
84.6%84.6%
84.6 % 515 / 609 86.8 % 46 / 53
spot/misc
92.5%92.5%
92.5 % 2170 / 2345 89.6 % 164 / 183
spot/parseaut
92.4%92.4%
92.4 % 1552 / 1679 100.0 % 26 / 26
spot/parsetl
94.5%94.5%
94.5 % 715 / 757 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
94.2%94.2%
94.2 % 5499 / 5838 89.5 % 299 / 334
spot/twa
84.8%84.8%
84.8 % 4180 / 4927 89.5 % 350 / 391
spot/twaalgos
90.4%90.4%
90.4 % 17289 / 19124 88.0 % 1052 / 1196
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