cprover
slice_global_inits.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Remove initializations of unused global variables
4
5
Author: Daniel Poetzl
6
7
Date: December 2016
8
9
\*******************************************************************/
10
13
14
#ifndef CPROVER_GOTO_PROGRAMS_SLICE_GLOBAL_INITS_H
15
#define CPROVER_GOTO_PROGRAMS_SLICE_GLOBAL_INITS_H
16
17
class
goto_modelt
;
18
19
void
slice_global_inits
(
goto_modelt
&);
20
21
#endif
goto_modelt
Definition:
goto_model.h:24
slice_global_inits
void slice_global_inits(goto_modelt &)
Definition:
slice_global_inits.cpp:29
goto-programs
slice_global_inits.h
Generated by
1.8.14