cprover
value_set_dereference.cpp File Reference

Symbolic Execution of ANSI-C. More...

Include dependency graph for value_set_dereference.cpp:

Go to the source code of this file.

Functions

static bool is_a_bv_type (const typet &type)
 

Detailed Description

Symbolic Execution of ANSI-C.

Definition in file value_set_dereference.cpp.

Function Documentation

◆ is_a_bv_type()

static bool is_a_bv_type ( const typet type)
static