ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
param_annotations.h File Reference
#include <nlohmann/json.hpp>
#include <vector>
Include dependency graph for param_annotations.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  python_param_annotations::module_ast
 One module's AST. More...

Namespaces

namespace  python_param_annotations

Functions

void python_param_annotations::propagate_tuple_list_params (const std::vector< module_ast > &modules)
 Retype list[...] parameters from the tuples their callers pass.
void python_param_annotations::propagate_scalar_params (const std::vector< module_ast > &modules)
 Annotate the unannotated parameters of imported modules' top-level functions with the scalar type every call site passes (GitHub #8501).