cprover
|
Skip over selected loops by adding gotos. More...
#include <string>
Go to the source code of this file.
Functions | |
bool | skip_loops (goto_modelt &, const std::string &loop_ids, message_handlert &) |
Skip over selected loops by adding gotos.
Definition in file skip_loops.h.
bool skip_loops | ( | goto_modelt & | , |
const std::string & | loop_ids, | ||
message_handlert & | |||
) |
Definition at line 93 of file skip_loops.cpp.
References messaget::eom(), messaget::error(), Forall_goto_functions, goto_modelt::goto_functions, message_handler, parse_loop_ids(), skip_loops(), and goto_functionst::update().