symex_dead.cpp File Reference

Symbolic Execution. More...

#include "goto_symex.h"
#include <util/std_expr.h>

Include dependency graph for symex_dead.cpp:

Go to the source code of this file.

Functions
static void	remove_l1_object_rec (goto_symext::statet &state, const exprt &l1_expr, const namespacet &ns)

Detailed Description

Symbolic Execution.

Definition in file symex_dead.cpp.

Function Documentation

remove_l1_object_rec()

static void remove_l1_object_rec ( goto_symext::statet &  state, const exprt &  l1_expr, const namespacet &  ns  )

static

Definition at line 22 of file symex_dead.cpp.