cprover
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_functionst;
20 class message_handlert;
21 
22 bool skip_loops(
23  goto_functionst &goto_functions,
24  const std::string &loop_ids,
25  message_handlert &message_handler);
26 
27 #endif // CPROVER_GOTO_INSTRUMENT_SKIP_LOOPS_H
bool skip_loops(goto_functionst &goto_functions, const std::string &loop_ids, message_handlert &message_handler)
Definition: skip_loops.cpp:93