ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
range_alias_pipeline.py File Reference

Namespaces

namespace  parser
namespace  parser.range_alias_pipeline

Functions

tuple[ast.AST, Preprocessor] parser.range_alias_pipeline.parse_file_canonicalised (str filename)
tuple[set[str], dict[str, str], set[str]|None] parser.range_alias_pipeline._snapshot_exports (Preprocessor preprocessor)
tuple[set[str], dict[str, str]] parser.range_alias_pipeline._compute_range_seed (ast.Module module_node, import_resolver)
None parser.range_alias_pipeline._propagate_range_aliases_across_modules (dict parsed_trees, import_resolver)
tuple[set[str], dict[str, str], set[str]|None] parser.range_alias_pipeline.snapshot_exports (Preprocessor preprocessor)
tuple[set[str], dict[str, str]] parser.range_alias_pipeline.compute_range_seed (ast.Module module_node, import_resolver)
None parser.range_alias_pipeline.propagate_range_aliases_across_modules (dict parsed_trees, import_resolver)