cprover
|
Loop unwinding. More...
Go to the source code of this file.
Classes | |
class | goto_unwindt |
struct | goto_unwindt::unwind_logt |
Typedefs | |
typedef std::map< irep_idt, std::map< unsigned, int > > | unwind_sett |
Functions | |
void | parse_unwindset (const std::string &us, unwind_sett &unwind_set) |
Loop unwinding.
Definition in file unwind.h.
typedef std::map<irep_idt, std::map<unsigned, int> > unwind_sett |
void parse_unwindset | ( | const std::string & | us, |
unwind_sett & | unwind_set | ||
) |
Definition at line 25 of file unwind.cpp.
References split_string().
Referenced by goto_instrument_parse_optionst::doit().