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 class goto_modelt;
18 
19 void stack_depth(
20  goto_modelt &,
21  const int depth);
22 
23 #endif // CPROVER_GOTO_INSTRUMENT_STACK_DEPTH_H
void stack_depth(goto_modelt &, const int depth)
Definition: stack_depth.cpp:83