Filters for the Coverage Instrumentation. More...

#include <regex>
#include <memory>
#include <util/message.h>
#include <util/invariant.h>
#include <goto-programs/goto_model.h>

Include dependency graph for cover_filter.h:

This graph shows which files directly or indirectly include 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	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.

Classes