cprover
|
Stack depth checks. More...
#include <cstddef>
Go to the source code of this file.
Functions | |
void | stack_depth (goto_modelt &, const std::size_t depth) |
Stack depth checks.
Definition in file stack_depth.h.
void stack_depth | ( | goto_modelt & | , |
const std::size_t | depth | ||
) |
Definition at line 77 of file stack_depth.cpp.