Branch coverage instrumenter. More...

Inheritance diagram for cover_branch_instrumentert:

Collaboration diagram for cover_branch_instrumentert:

Public Member Functions
	cover_branch_instrumentert (const symbol_tablet &_symbol_table, const goal_filterst &_goal_filters)

Public Member Functions inherited from cover_instrumenter_baset
virtual	~cover_instrumenter_baset ()=default

	cover_instrumenter_baset (const symbol_tablet &_symbol_table, const goal_filterst &_goal_filters, const irep_idt &_coverage_criterion)

virtual void	operator() (goto_programt &goto_program, const cover_blocks_baset &basic_blocks) const
	Instruments a goto program. More...

Protected Member Functions
void	instrument (goto_programt &, goto_programt::targett &, const cover_blocks_baset &) const override
	Override this method to implement an instrumenter. More...

Protected Member Functions inherited from cover_instrumenter_baset
void	initialize_source_location (goto_programt::targett t, const std::string &comment, const irep_idt &function) const

bool	is_non_cover_assertion (goto_programt::const_targett t) const

Additional Inherited Members
Public Attributes inherited from cover_instrumenter_baset
const irep_idt	property_class = "coverage"

const irep_idt	coverage_criterion

Protected Attributes inherited from cover_instrumenter_baset
const namespacet	ns

const goal_filterst &	goal_filters

Detailed Description

Branch coverage instrumenter.

Definition at line 127 of file cover_instrument.h.

Constructor & Destructor Documentation

cover_branch_instrumentert::cover_branch_instrumentert	(	const symbol_tablet &	_symbol_table,
		const goal_filterst &	_goal_filters
	)

inline

Definition at line 130 of file cover_instrument.h.

void cover_branch_instrumentert::instrument	(	goto_programt &	,
		goto_programt::targett &	,
		const cover_blocks_baset &
	)		const

overrideprotectedvirtual

Override this method to implement an instrumenter.

The documentation for this class was generated from the following files: