|
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_utils |
Enumerations | |
| enum class | python_annotation_utils::InferResult { python_annotation_utils::OK , python_annotation_utils::UNKNOWN } |
Functions | |
| std::string | python_annotation_utils::get_type_from_json (const nlohmann::json &value) |
| bool | python_annotation_utils::has_annotation (const nlohmann::json &node) |
| bool | python_annotation_utils::has_return_none (const nlohmann::json &body) |
| std::string | python_annotation_utils::get_base_var_name (const nlohmann::json &node) |
| std::string | python_annotation_utils::invert_substrings (const std::string &input) |
| std::string | python_annotation_utils::infer_type_from_default_arg_shape (const nlohmann::json &args_node) |