| Current view: | top level - metalib_isl - isl_map_subtract.c (source / functions) | Hit | Total | Coverage | ||
| Test: | 2018-10-31_cons_maint_greina.lcov | Lines: | 282 | 483 | 58.4 % | |
| Date: | 2018-11-01 11:19:43 | Functions: | 21 | 31 | 67.7 % | |
|
| LCOV - code coverage report | ||||||||||||||||||||||
| ||||||||||||||||||||||
|
||||||||||||||||||||||
|
| Function Name |
Hit count  |
| basic_map_collect_diff | 31913930 |
| basic_map_diff_is_empty | 13063016 |
| basic_map_is_empty_add | 0 |
| basic_map_subtract | 18850914 |
| basic_map_subtract_add | 50965998 |
| expand_constraint | 16967237866 |
| isl_basic_map_plain_is_singleton | 14227 |
| isl_map_complement | 3319461 |
| isl_map_is_subset | 263318 |
| isl_map_make_disjoint | 0 |
| isl_map_plain_is_singleton | 256842 |
| isl_map_subtract | 5498652 |
| isl_map_subtract_domain | 0 |
| isl_map_subtract_range | 0 |
| isl_set_complement | 3319461 |
| isl_set_is_subset | 0 |
| isl_set_make_disjoint | 0 |
| isl_set_subtract | 2179191 |
| map_diff_is_empty | 256842 |
| map_is_singleton_subset | 0 |
| map_is_subset | 263318 |
| map_subtract | 5498652 |
| map_subtract_domain | 0 |
| map_subtract_range | 0 |
| n_non_redundant | 109955543 |
| replace_pair_by_empty | 1143368 |
| singleton_extract_point | 0 |
| tab_add_constraint | 189955781 |
| tab_add_constraints | 6189466617 |
| tab_add_divs | 6189466617 |
| tab_freeze_constraints | 6189466617 |
|
| Generated by: LCOV version 1.12 |