cprover
|
Loop unwinding. More...
#include "unwind.h"
#include <util/std_expr.h>
#include <util/string_utils.h>
#include <goto-programs/goto_functions.h>
#include "loop_utils.h"
Go to the source code of this file.
Functions | |
void | parse_unwindset (const std::string &us, unwind_sett &unwind_set) |
Loop unwinding.
Definition in file unwind.cpp.
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().