|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <python_class_builder.h>
Public Member Functions | |
| python_class_builder (python_converter &conv, const nlohmann::json &cls_node) | |
| void | build (codet &out) |
|
inline |
| void python_class_builder::build | ( | codet & | out | ) |