cprover
stack_depth.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Stack depth checks
4 
5 Author: Daniel Kroening, Michael Tautschnig
6 
7 Date: November 2011
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_INSTRUMENT_STACK_DEPTH_H
15 #define CPROVER_GOTO_INSTRUMENT_STACK_DEPTH_H
16 
17 #include <cstddef>
18 
19 class goto_modelt;
20 
21 void stack_depth(
22  goto_modelt &,
23  const std::size_t depth);
24 
25 #endif // CPROVER_GOTO_INSTRUMENT_STACK_DEPTH_H
goto_modelt
Definition: goto_model.h:26
stack_depth
void stack_depth(goto_modelt &, const std::size_t depth)
Definition: stack_depth.cpp:77