cprover
skip_loops.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Skip over selected loops by adding gotos
4
5Author: Michael Tautschnig
6
7Date: 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
19class goto_modelt;
21
22bool skip_loops(
24 const std::string &loop_ids,
26
27#endif // CPROVER_GOTO_INSTRUMENT_SKIP_LOOPS_H
bool skip_loops(goto_modelt &, const std::string &loop_ids, message_handlert &)
Definition: skip_loops.cpp:93