|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <nlohmann/json.hpp>#include <string>Go to the source code of this file.
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) |