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