|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
One module's AST. More...
#include <param_annotations.h>
Public Attributes | |
| const nlohmann::json * | read |
| nlohmann::json * | write |
| std::string | name |
One module's AST.
write is null for modules that may be read (to find call sites) but not rewritten. name is the module's import name, empty for the entry-point module.
| std::string python_param_annotations::module_ast::name |
| const nlohmann::json* python_param_annotations::module_ast::read |
| nlohmann::json* python_param_annotations::module_ast::write |