|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Static Public Member Functions | |
| static expr2tc | simplify (const expr2tc &op1, const expr2tc &op2, const expr2tc &rm, const std::function< bool(const expr2tc &)> &is_constant, std::function< constant_type &(expr2tc &)> get_value) |
|
inlinestatic |