CBMC
Loading...
Searching...
No Matches
Functions
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.

AltStyle によって変換されたページ (->オリジナル) /