| LCOV - differential code coverage report | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Function Name |
TLA | Hit count |
Lines |
Branches |
| clonesuccessorstates | CBC | 2139 | 85.0 % (51 / 60) | 70.0 % (49 / 70) |
| compact | CBC | 12313 | 82.5 % (52 / 63) | 48.7 % (19 / 39) |
| fixempties | CBC | 12317 | 90.4 % (66 / 73) | 78.0 % (64 / 82) |
| push | CBC | 45458 | 90.6 % (48 / 53) | 70.3 % (26 / 37) |
| breakconstraintloop | CBC | 241 | 90.5 % (38 / 42) | 75.0 % (30 / 40) |
| checkmatchall | CBC | 12258 | 95.8 % (46 / 48) | 85.5 % (53 / 62) |
| checkmatchall_recurse | CBC | 5219 | 95.8 % (46 / 48) | 79.5 % (35 / 44) |
| deltraverse | CBC | 19516 | 87.0 % (20 / 23) | 70.0 % (21 / 30) |
| duptraverse | CBC | 225443 | 68.8 % (11 / 16) | 55.0 % (11 / 20) |
| freearc | CBC | 916411 | 100.0 % (38 / 38) | 75.0 % (27 / 36) |
| newstate | CBC | 321727 | 90.0 % (36 / 40) | 67.9 % (19 / 28) |
| pull | CBC | 61390 | 90.6 % (48 / 53) | 75.7 % (28 / 37) |
| changearcsource | CBC | 294 | 90.9 % (20 / 22) | 50.0 % (8 / 16) |
| changearctarget | CBC | 160 | 90.9 % (20 / 22) | 50.0 % (8 / 16) |
| removetraverse | CBC | 323 | 72.7 % (16 / 22) | 52.9 % (9 / 17) |
| freestate | CBC | 135387 | 88.2 % (15 / 17) | 50.0 % (7 / 14) |
| moveouts | CBC | 42474 | 92.7 % (38 / 41) | 78.1 % (25 / 32) |
| delsub | CBC | 6632 | 90.0 % (9 / 10) | 50.0 % (6 / 12) |
| fixconstraintloops | CBC | 12317 | 89.3 % (25 / 28) | 85.0 % (34 / 40) |
| moveins | CBC | 163670 | 92.7 % (38 / 41) | 81.2 % (26 / 32) |
| single_color_transition | CBC | 152 | 84.6 % (11 / 13) | 66.7 % (12 / 18) |
| cleanup | CBC | 24634 | 100.0 % (16 / 16) | 79.2 % (19 / 24) |
| combine | CBC | 218946 | 91.4 % (32 / 35) | 82.8 % (24 / 29) |
| newnfa | CBC | 12446 | 84.2 % (32 / 38) | 37.5 % (3 / 8) |
| sortouts | CBC | 16 | 88.0 % (22 / 25) | 58.3 % (7 / 12) |
| findconstraintloop | CBC | 272958 | 88.9 % (16 / 18) | 75.0 % (12 / 16) |
| pullback | CBC | 12317 | 96.3 % (26 / 27) | 90.0 % (36 / 40) |
| pushfwd | CBC | 12317 | 96.3 % (26 / 27) | 90.0 % (36 / 40) |
| sortins | CBC | 18526 | 92.0 % (23 / 25) | 66.7 % (8 / 12) |
| specialcolors | CBC | 12321 | 100.0 % (15 / 15) | 60.0 % (6 / 10) |
| allocarc | CBC | 11268457 | 91.3 % (21 / 23) | 83.3 % (15 / 18) |
| cleartraverse | CBC | 1235404 | 77.8 % (7 / 9) | 62.5 % (5 / 8) |
| cloneouts | CBC | 198 | 100.0 % (7 / 7) | 70.0 % (7 / 10) |
| copyins | CBC | 10506 | 100.0 % (7 / 7) | 62.5 % (5 / 8) |
| copyouts | CBC | 8070 | 100.0 % (7 / 7) | 62.5 % (5 / 8) |
| emptyreachable | CBC | 10041715 | 80.0 % (8 / 10) | 70.0 % (7 / 10) |
| markcanreach | CBC | 1010320 | 77.8 % (7 / 9) | 62.5 % (5 / 8) |
| markreachable | CBC | 1009795 | 77.8 % (7 / 9) | 62.5 % (5 / 8) |
| mergeins | CBC | 173284 | 87.8 % (36 / 41) | 85.7 % (18 / 21) |
| newarc | CBC | 1082532 | 100.0 % (11 / 11) | 87.5 % (21 / 24) |
| carc_cmp | CBC | 7899316 | 91.7 % (11 / 12) | 87.5 % (7 / 8) |
| check_in_colors_match | CBC | 1476 | 100.0 % (17 / 17) | 94.4 % (17 / 18) |
| check_out_colors_match | CBC | 1891 | 100.0 % (17 / 17) | 94.4 % (17 / 18) |
| createarc | CBC | 11268457 | 100.0 % (23 / 23) | 94.4 % (17 / 18) |
| dupnfa | CBC | 9107 | 75.0 % (6 / 8) | 50.0 % (1 / 2) |
| findarc | CBC | 361 | 100.0 % (5 / 5) | 83.3 % (5 / 6) |
| freecnfa | CBC | 2188 | 100.0 % (7 / 7) | 50.0 % (1 / 2) |
| newfstate | CBC | 24892 | 100.0 % (5 / 5) | 50.0 % (1 / 2) |
| removecantmatch | CBC | 6 | 87.5 % (7 / 8) | 87.5 % (7 / 8) |
| removeconstraints | CBC | 119 | 85.7 % (6 / 7) | 50.0 % (1 / 2) |
| analyze | CBC | 12317 | 100.0 % (11 / 11) | 100.0 % (10 / 10) |
| carcsort | CBC | 149154 | 100.0 % (4 / 4) | 100.0 % (2 / 2) |
| dropstate | CBC | 128934 | 100.0 % (7 / 7) | 100.0 % (4 / 4) |
| freenfa | CBC | 12446 | 100.0 % (14 / 14) | 100.0 % (4 / 4) |
| hasconstraintout | CBC | 14483 | 100.0 % (5 / 5) | 100.0 % (4 / 4) |
| hasnonemptyout | CBC | 150997 | 100.0 % (5 / 5) | 100.0 % (4 / 4) |
| isconstraintarc | CBC | 1422528 | 100.0 % (5 / 5) | 100.0 % (2 / 2) |
| optimize | CBC | 12317 | 100.0 % (11 / 11) | 100.0 % (2 / 2) |
| sortins_cmp | CBC | 49873659 | 100.0 % (16 / 16) | 100.0 % (12 / 12) |
| sortouts_cmp | CBC | 2746 | 100.0 % (16 / 16) | 100.0 % (12 / 12) |
| cparc | CBC | 826219 | 100.0 % (3 / 3) | |
| dumpnfa | UBC | 0 | 0.0 % (0 / 2) |
| Generated by: LCOV version 2.5.0-beta |