|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <python-frontend/python_annotation/annotation_parser.h>#include <python-frontend/json_utils.h>#include <cassert>Namespaces | |
| namespace | python_annotation_parser |
Functions | |
| nlohmann::json | python_annotation_parser::find_lambda_in_body (const std::string &func_name, const nlohmann::json &body) |
| nlohmann::json | python_annotation_parser::find_function_recursive (const std::string &func_name, const nlohmann::json &body) |
| nlohmann::json | python_annotation_parser::find_self_attr_init_rhs (const std::string &cls, const std::string &attr, const nlohmann::json &ast_body) |