havoc_loops.cpp File Reference

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"

Include dependency graph for havoc_loops.cpp:

Go to the source code of this file.

Classes
class	havoc_loopst

Functions
void	havoc_loops (goto_functionst &goto_functions)

Detailed Description

Havoc Loops.

Definition in file havoc_loops.cpp.

Function Documentation

havoc_loops()

void havoc_loops

(

goto_functionst &

goto_functions

)

Definition at line 187 of file havoc_loops.cpp.

References Forall_goto_functions.

Referenced by goto_instrument_parse_optionst::instrument_goto_program().