/*******************************************************************\

Module: Havoc Loops

Author: Daniel Kroening, kroening@kroening.com

\*******************************************************************/

#ifndef CPROVER_HAVOC_LOOPS_H
#define CPROVER_HAVOC_LOOPS_H

#include <goto-programs/goto_functions.h>

void havoc_loops(goto_functionst &goto_functions);

#endif
