|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Go to the source code of this file.
Functions | |
| void | default_replace_dynamic_allocation (const namespacet &ns, expr2tc &expr) |
| void default_replace_dynamic_allocation | ( | const namespacet & | ns, |
| expr2tc & | expr ) |