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

Functions

static expr2tc promote_to_ieee (const expr2tc &expr)

Function Documentation

◆ promote_to_ieee()

expr2tc promote_to_ieee ( const expr2tc & expr)
static