|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <jimple-converter.h>
Public Member Functions | |
| jimple_converter (contextt &_context, jimple_file &_ASTs) | |
| bool | convert () |
Protected Attributes | |
| contextt & | context |
| const jimple_file & | AST |
|
inline |
| bool jimple_converter::convert | ( | ) |
|
protected |
|
protected |