cprover
|
Havoc Loops. More...
#include "havoc_loops.h"
#include <util/std_expr.h>
#include <analyses/natural_loops.h>
#include <analyses/local_may_alias.h>
#include <goto-programs/remove_skip.h>
#include "function_modifies.h"
Go to the source code of this file.
Classes | |
class | havoc_loopst |
Functions | |
void | havoc_loops (goto_functionst &goto_functions) |
Havoc Loops.
Definition in file havoc_loops.cpp.
void havoc_loops | ( | goto_functionst & | goto_functions | ) |
Definition at line 187 of file havoc_loops.cpp.
References Forall_goto_functions, havoc_loopst::function_modifies, and havoc_loopst::havoc_loopst().
Referenced by goto_instrument_parse_optionst::instrument_goto_program().