cover_filter.h File Reference
Filters for the Coverage Instrumentation. More...
Include dependency graph for cover_filter.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | function_filter_baset |
| Base class for filtering functions. More... | |
| class | goal_filter_baset |
| Base class for filtering goals. More... | |
| class | function_filterst |
| A collection of function filters to be applied in conjunction. More... | |
| class | goal_filterst |
| A collection of goal filters to be applied in conjunction. More... | |
| class | internal_functions_filtert |
| Filters out CPROVER internal functions. More... | |
| class | file_filtert |
| class | single_function_filtert |
| class | include_pattern_filtert |
| Filters functions that match the provided pattern. More... | |
| class | trivial_functions_filtert |
| Filters out trivial functions. More... | |
| class | internal_goals_filtert |
| Filters out goals with source locations considered internal. More... | |
Detailed Description
Filters for the Coverage Instrumentation.
Definition in file cover_filter.h.
