| Current view: | top level - metalib_isl - isl_map_subtract.c (source / functions) | Hit | Total | Coverage | ||
| Test: | 2018-10-31_point_maint_greina16.lcov | Lines: | 319 | 483 | 66.0 % | |
| Date: | 2018-11-01 11:27:00 | Functions: | 23 | 31 | 74.2 % | |
|
| LCOV - code coverage report | ||||||||||||||||||||||
| ||||||||||||||||||||||
|
||||||||||||||||||||||
|
| Function Name |
Hit count  |
| basic_map_collect_diff | 11827020 |
| basic_map_diff_is_empty | 4947354 |
| basic_map_is_empty_add | 0 |
| basic_map_subtract | 6879666 |
| basic_map_subtract_add | 38263245 |
| expand_constraint | 3824916907 |
| isl_basic_map_plain_is_singleton | 22999 |
| isl_map_complement | 2497658 |
| isl_map_is_subset | 203490 |
| isl_map_make_disjoint | 0 |
| isl_map_plain_is_singleton | 200626 |
| isl_map_subtract | 3324703 |
| isl_map_subtract_domain | 0 |
| isl_map_subtract_range | 0 |
| isl_set_complement | 2497658 |
| isl_set_is_subset | 0 |
| isl_set_make_disjoint | 0 |
| isl_set_subtract | 827045 |
| map_diff_is_empty | 200582 |
| map_is_singleton_subset | 44 |
| map_is_subset | 203490 |
| map_subtract | 3324703 |
| map_subtract_domain | 0 |
| map_subtract_range | 0 |
| n_non_redundant | 48109176 |
| replace_pair_by_empty | 301022 |
| singleton_extract_point | 44 |
| tab_add_constraint | 121448802 |
| tab_add_constraints | 797159303 |
| tab_add_divs | 797159303 |
| tab_freeze_constraints | 797159303 |
|
| Generated by: LCOV version 1.12 |