|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <cstdlib>#include <util/arith/arith_tools.h>#include <util/irep/std_expr.h>#include <util/irep/std_types.h>Functions | |
| bool | is_reference (const typet &type) |
| bool | is_rvalue_reference (const typet &type) |
| bool | is_lvalue_or_rvalue_reference (const typet &type) |