|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <jimple-frontend/AST/jimple_expr.h>#include <irep2/irep2_expr.h>#include <irep2/irep2_utils.h>#include <util/arith/arith_tools.h>#include <util/lang/c_typecast.h>#include <util/lang/c_types.h>#include <util/expr/expr_util.h>#include <util/irep/std_code.h>#include <util/irep/std_expr.h>Functions | |
| static expr2tc | jimple_typed_binop (const std::string &op, const type2tc &t, const expr2tc &l, const expr2tc &r) |
| static expr2tc | jimple_relational_binop (const std::string &op, const expr2tc &l, const expr2tc &r) |
| static locationt | no_location () |
| static expr2tc | skip2t_without_location () |
|
static |
|
static |
|
static |
|
static |