cprover
Loading...
Searching...
No Matches
cover_util.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Coverage Instrumentation
4
5Author: Daniel Kroening
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_GOTO_INSTRUMENT_COVER_UTIL_H
13#define CPROVER_GOTO_INSTRUMENT_COVER_UTIL_H
14
16
17bool is_condition(const exprt &src);
18
19void collect_conditions_rec(const exprt &src, std::set<exprt> &dest);
20
21std::set<exprt> collect_conditions(const exprt &src);
22
24
25void collect_operands(const exprt &src, std::vector<exprt> &dest);
26
27void collect_decisions_rec(const exprt &src, std::set<exprt> &dest);
28
29std::set<exprt> collect_decisions(const exprt &src);
30
31std::set<exprt> collect_decisions(const goto_programt::const_targett t);
32
33#endif // CPROVER_GOTO_INSTRUMENT_COVER_UTIL_H
Base class for all expressions.
Definition: expr.h:54
instructionst::const_iterator const_targett
Definition: goto_program.h:593
void collect_decisions_rec(const exprt &src, std::set< exprt > &dest)
Definition: cover_util.cpp:69
std::set< exprt > collect_decisions(const exprt &src)
void collect_conditions_rec(const exprt &src, std::set< exprt > &dest)
Definition: cover_util.cpp:28
void collect_operands(const exprt &src, std::vector< exprt > &dest)
Definition: cover_util.cpp:58
bool is_condition(const exprt &src)
Definition: cover_util.cpp:14
std::set< exprt > collect_conditions(const exprt &src)
Definition: cover_util.cpp:42
Concrete Goto Program.