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