cprover
remove_skip.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Program Transformation
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_GOTO_PROGRAMS_REMOVE_SKIP_H
13
#define CPROVER_GOTO_PROGRAMS_REMOVE_SKIP_H
14
15
#include "
goto_functions.h
"
16
17
void
remove_skip
(
goto_programt
&goto_program);
18
void
remove_skip
(
goto_functionst
&goto_functions);
19
20
#endif // CPROVER_GOTO_PROGRAMS_REMOVE_SKIP_H
goto_functions.h
Goto Programs with Functions.
goto_functionst
Definition:
goto_functions.h:20
goto_programt
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
Definition:
goto_program.h:24
remove_skip
void remove_skip(goto_programt &goto_program)
remove unnecessary skip statements
Definition:
remove_skip.cpp:71
goto-programs
remove_skip.h
Generated by
1.8.14