ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
param_annotations.cpp File Reference
#include <python-frontend/param_annotations.h>
#include <python-frontend/json_utils.h>
#include <map>
#include <optional>
#include <set>
#include <tuple>
Include dependency graph for param_annotations.cpp:

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).