| Current view: | top level - metalib_isl - isl_map_subtract.c (source / functions) | Hit | Total | Coverage | ||
| Test: | project_test.lcov | Lines: | 306 | 483 | 63.4 % | |
| Date: | 2018-11-06 13:10:25 | Functions: | 21 | 31 | 67.7 % | |
|
| LCOV - code coverage report | ||||||||||||||||||||||
| ||||||||||||||||||||||
|
||||||||||||||||||||||
|
| Function Name |
Hit count  |
| basic_map_collect_diff | 47235 |
| basic_map_diff_is_empty | 18983 |
| basic_map_is_empty_add | 0 |
| basic_map_subtract | 28252 |
| basic_map_subtract_add | 53421 |
| expand_constraint | 15632195 |
| isl_basic_map_plain_is_singleton | 33 |
| isl_map_complement | 3479 |
| isl_map_is_subset | 396 |
| isl_map_make_disjoint | 0 |
| isl_map_plain_is_singleton | 292 |
| isl_map_subtract | 5702 |
| isl_map_subtract_domain | 0 |
| isl_map_subtract_range | 0 |
| isl_set_complement | 3479 |
| isl_set_is_subset | 0 |
| isl_set_make_disjoint | 0 |
| isl_set_subtract | 2223 |
| map_diff_is_empty | 292 |
| map_is_singleton_subset | 0 |
| map_is_subset | 396 |
| map_subtract | 5702 |
| map_subtract_domain | 0 |
| map_subtract_range | 0 |
| n_non_redundant | 177277 |
| replace_pair_by_empty | 1017 |
| singleton_extract_point | 0 |
| tab_add_constraint | 260968 |
| tab_add_constraints | 5558841 |
| tab_add_divs | 5558841 |
| tab_freeze_constraints | 5558841 |
|
| Generated by: LCOV version 1.12 |