#include <goto-symex/engine/goto_symex.h>
#include <util/expr/expr_util.h>
#include <irep2/irep2.h>

Include dependency graph for symex_stack.cpp:

Functions
static expr2tc	stack_size_claim (const BigInt &size, unsigned long limit)

Function Documentation

◆ stack_size_claim()

expr2tc stack_size_claim	(	const BigInt &	size,
		unsigned long	limit )

static