cprover
|
Coverage Instrumentation Utilities. More...
#include <goto-programs/goto_model.h>
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) |
Coverage Instrumentation Utilities.
Definition in file cover_util.h.
Definition at line 42 of file cover_util.cpp.
References collect_conditions_rec().
Referenced by collect_conditions(), cover_condition_instrumentert::instrument(), cover_mcdc_instrumentert::instrument(), minimize_mcdc_controlling(), and remove_repetition().
std::set<exprt> collect_conditions | ( | const goto_programt::const_targett | t | ) |
Definition at line 49 of file cover_util.cpp.
References ASSERT, ASSIGN, collect_conditions(), FUNCTION_CALL, and GOTO.
Definition at line 28 of file cover_util.cpp.
References collect_conditions_rec(), irept::id(), is_condition(), exprt::is_constant(), and exprt::operands().
Referenced by collect_conditions(), and collect_conditions_rec().
Definition at line 109 of file cover_util.cpp.
References collect_decisions_rec().
Referenced by collect_decisions(), cover_decision_instrumentert::instrument(), and cover_mcdc_instrumentert::instrument().
std::set<exprt> collect_decisions | ( | const goto_programt::const_targett | t | ) |
Definition at line 116 of file cover_util.cpp.
References ASSERT, ASSIGN, collect_decisions(), FUNCTION_CALL, and GOTO.
Definition at line 80 of file cover_util.cpp.
References collect_decisions_rec(), irept::id(), exprt::is_constant(), exprt::op0(), exprt::operands(), and exprt::type().
Referenced by collect_decisions(), and collect_decisions_rec().
Definition at line 69 of file cover_util.cpp.
References collect_operands(), irept::id(), and exprt::operands().
Referenced by collect_mcdc_controlling_nested(), collect_mcdc_controlling_rec(), collect_operands(), eval_expr(), and sign_of_expr().
bool is_condition | ( | const exprt & | src | ) |
Definition at line 14 of file cover_util.cpp.
References irept::id(), and exprt::type().
Referenced by collect_conditions_rec(), collect_mcdc_controlling_nested(), collect_mcdc_controlling_rec(), cover_mcdc_instrumentert::instrument(), and sign_of_expr().