cprover
stack_depth.h File Reference

Stack depth checks. More...

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void stack_depth (symbol_tablet &symbol_table, goto_functionst &goto_functions, const int depth)
 

Detailed Description

Stack depth checks.

Definition in file stack_depth.h.

Function Documentation

◆ stack_depth()