stack_depth.h File Reference

Stack depth checks. More...

#include <cstddef>

Include dependency graph for stack_depth.h:

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

Go to the source code of this file.

Functions
void	stack_depth (goto_modelt &, const std::size_t depth)

Detailed Description

Stack depth checks.

Definition in file stack_depth.h.

Function Documentation

stack_depth()

void stack_depth	(	goto_modelt &	,
		const std::size_t	depth
	)

Definition at line 83 of file stack_depth.cpp.