cover_util.h File Reference

Coverage Instrumentation Utilities. More...

#include <goto-programs/goto_program.h>

Include dependency graph for cover_util.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
bool	is_condition (const exprt &src)
void	collect_conditions_rec (const exprt &src, std::set< exprt > &dest)
std::set< exprt >	collect_conditions (const exprt &src)
std::set< exprt >	collect_conditions (const goto_programt::const_targett t)
void	collect_operands (const exprt &src, std::vector< exprt > &dest)
void	collect_decisions_rec (const exprt &src, std::set< exprt > &dest)
std::set< exprt >	collect_decisions (const exprt &src)
std::set< exprt >	collect_decisions (const goto_programt::const_targett t)

Detailed Description

Coverage Instrumentation Utilities.

Definition in file cover_util.h.

Function Documentation

collect_conditions() [1/2]

std::set<exprt> collect_conditions

(

const exprt &

src

)

Definition at line 42 of file cover_util.cpp.

collect_conditions() [2/2]

std::set<exprt> collect_conditions

(

const goto_programt::const_targett

t

)

Definition at line 49 of file cover_util.cpp.

collect_conditions_rec()

void collect_conditions_rec	(	const exprt &	src,
		std::set< exprt > &	dest
	)

Definition at line 28 of file cover_util.cpp.

collect_decisions() [1/2]

std::set<exprt> collect_decisions

(

const exprt &

src

)

collect_decisions() [2/2]

std::set<exprt> collect_decisions

(

const goto_programt::const_targett

t

)

Definition at line 98 of file cover_util.cpp.

collect_decisions_rec()

void collect_decisions_rec	(	const exprt &	src,
		std::set< exprt > &	dest
	)

Definition at line 69 of file cover_util.cpp.

collect_operands()

void collect_operands	(	const exprt &	src,
		std::vector< exprt > &	dest
	)

Definition at line 58 of file cover_util.cpp.

is_condition()

bool is_condition

(

const exprt &

src

)

Definition at line 14 of file cover_util.cpp.