CBMC
skip_loops.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Skip over selected loops by adding gotos
4 
5 Author: Michael Tautschnig
6 
7 Date: January 2016
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_INSTRUMENT_SKIP_LOOPS_H
15 #define CPROVER_GOTO_INSTRUMENT_SKIP_LOOPS_H
16 
17 #include <string>
18 
19 class goto_modelt;
20 class message_handlert;
21 
22 bool skip_loops(
23  goto_modelt &,
24  const std::string &loop_ids,
25  message_handlert &);
26 
27 #endif // CPROVER_GOTO_INSTRUMENT_SKIP_LOOPS_H
goto_modelt
Definition: goto_model.h:27
message_handlert
Definition: message.h:27
skip_loops
bool skip_loops(goto_modelt &, const std::string &loop_ids, message_handlert &)
Definition: skip_loops.cpp:93