| LCOV - differential code coverage report | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Function Name |
TLA | Hit count |
Lines |
Branches |
| compact | CBC | 8883 | 82.5 % (52 / 63) | 48.7 % (19 / 39) |
| clonesuccessorstates | CBC | 1811 | 85.0 % (51 / 60) | 70.0 % (49 / 70) |
| fixempties | CBC | 8886 | 90.4 % (66 / 73) | 78.0 % (64 / 82) |
| newnfa | CBC | 9008 | 84.2 % (32 / 38) | 37.5 % (3 / 8) |
| removetraverse | CBC | 281 | 72.7 % (16 / 22) | 52.9 % (9 / 17) |
| duptraverse | CBC | 184717 | 68.8 % (11 / 16) | 55.0 % (11 / 20) |
| mergeins | CBC | 126604 | 87.8 % (36 / 41) | 81.0 % (17 / 21) |
| pull | CBC | 46861 | 90.6 % (48 / 53) | 75.7 % (28 / 37) |
| push | CBC | 33423 | 90.6 % (48 / 53) | 70.3 % (26 / 37) |
| breakconstraintloop | CBC | 206 | 90.5 % (38 / 42) | 75.0 % (30 / 40) |
| newstate | CBC | 245732 | 90.0 % (36 / 40) | 67.9 % (19 / 28) |
| combine | CBC | 192940 | 91.4 % (32 / 35) | 82.8 % (24 / 29) |
| deltraverse | CBC | 13999 | 87.0 % (20 / 23) | 70.0 % (21 / 30) |
| fixconstraintloops | CBC | 8886 | 89.3 % (25 / 28) | 82.5 % (33 / 40) |
| moveins | CBC | 123895 | 92.7 % (38 / 41) | 81.2 % (26 / 32) |
| moveouts | CBC | 34044 | 92.7 % (38 / 41) | 78.1 % (25 / 32) |
| sortouts | CBC | 16 | 88.0 % (22 / 25) | 58.3 % (7 / 12) |
| allocarc | CBC | 8692706 | 91.3 % (21 / 23) | 83.3 % (15 / 18) |
| changearcsource | CBC | 294 | 90.9 % (20 / 22) | 50.0 % (8 / 16) |
| changearctarget | CBC | 160 | 90.9 % (20 / 22) | 50.0 % (8 / 16) |
| checkmatchall | CBC | 8836 | 95.8 % (46 / 48) | 85.5 % (53 / 62) |
| checkmatchall_recurse | CBC | 4218 | 95.8 % (46 / 48) | 79.5 % (35 / 44) |
| cleartraverse | CBC | 1048388 | 77.8 % (7 / 9) | 62.5 % (5 / 8) |
| dumpnfa | UBC | 0 | 0.0 % (0 / 2) | |
| dupnfa | CBC | 6954 | 75.0 % (6 / 8) | 50.0 % (1 / 2) |
| emptyreachable | CBC | 7620059 | 80.0 % (8 / 10) | 70.0 % (7 / 10) |
| findconstraintloop | CBC | 203695 | 88.9 % (16 / 18) | 75.0 % (12 / 16) |
| freestate | CBC | 108166 | 88.2 % (15 / 17) | 50.0 % (7 / 14) |
| markcanreach | CBC | 863970 | 77.8 % (7 / 9) | 62.5 % (5 / 8) |
| markreachable | CBC | 863517 | 77.8 % (7 / 9) | 62.5 % (5 / 8) |
| single_color_transition | CBC | 127 | 84.6 % (11 / 13) | 66.7 % (12 / 18) |
| sortins | CBC | 15307 | 92.0 % (23 / 25) | 66.7 % (8 / 12) |
| carc_cmp | CBC | 7720646 | 91.7 % (11 / 12) | 87.5 % (7 / 8) |
| delsub | CBC | 4774 | 90.0 % (9 / 10) | 50.0 % (6 / 12) |
| pullback | CBC | 8886 | 96.3 % (26 / 27) | 90.0 % (36 / 40) |
| pushfwd | CBC | 8886 | 96.3 % (26 / 27) | 90.0 % (36 / 40) |
| removeconstraints | CBC | 101 | 85.7 % (6 / 7) | 50.0 % (1 / 2) |
| analyze | CBC | 8886 | 100.0 % (11 / 11) | 100.0 % (10 / 10) |
| carcsort | CBC | 109483 | 100.0 % (4 / 4) | 100.0 % (2 / 2) |
| check_in_colors_match | CBC | 1208 | 100.0 % (17 / 17) | 94.4 % (17 / 18) |
| check_out_colors_match | CBC | 1555 | 100.0 % (17 / 17) | 94.4 % (17 / 18) |
| cleanup | CBC | 17772 | 100.0 % (16 / 16) | 79.2 % (19 / 24) |
| cloneouts | CBC | 171 | 100.0 % (7 / 7) | 70.0 % (7 / 10) |
| copyins | CBC | 9195 | 100.0 % (7 / 7) | 62.5 % (5 / 8) |
| copyouts | CBC | 6895 | 100.0 % (7 / 7) | 62.5 % (5 / 8) |
| cparc | CBC | 738533 | 100.0 % (3 / 3) | |
| createarc | CBC | 8692706 | 100.0 % (23 / 23) | 94.4 % (17 / 18) |
| dropstate | CBC | 103567 | 100.0 % (7 / 7) | 100.0 % (4 / 4) |
| findarc | CBC | 286 | 100.0 % (5 / 5) | 83.3 % (5 / 6) |
| freearc | CBC | 785722 | 100.0 % (38 / 38) | 75.0 % (27 / 36) |
| freecnfa | CBC | 2144 | 100.0 % (7 / 7) | 50.0 % (1 / 2) |
| freenfa | CBC | 9008 | 100.0 % (14 / 14) | 100.0 % (4 / 4) |
| hasconstraintout | CBC | 12631 | 100.0 % (5 / 5) | 100.0 % (4 / 4) |
| hasnonemptyout | CBC | 110806 | 100.0 % (5 / 5) | 100.0 % (4 / 4) |
| isconstraintarc | CBC | 1266541 | 100.0 % (5 / 5) | 100.0 % (2 / 2) |
| newarc | CBC | 925663 | 100.0 % (11 / 11) | 87.5 % (21 / 24) |
| newfstate | CBC | 18016 | 100.0 % (5 / 5) | 50.0 % (1 / 2) |
| optimize | CBC | 8886 | 100.0 % (8 / 8) | |
| sortins_cmp | CBC | 37893009 | 100.0 % (16 / 16) | 100.0 % (12 / 12) |
| sortouts_cmp | CBC | 2746 | 100.0 % (16 / 16) | 100.0 % (12 / 12) |
| specialcolors | CBC | 8889 | 100.0 % (15 / 15) | 60.0 % (6 / 10) |
| Generated by: LCOV version 2.1-beta2-3-g6141622 |