ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
clang_c_main.cpp File Reference
Include dependency graph for clang_c_main.cpp:

Functions

static bool mentions_symbol (const irept &irep, const irep_idt &id)

Function Documentation

◆ mentions_symbol()

bool mentions_symbol ( const irept & irep,
const irep_idt & id )
static