Supporting pruning and merging with the new branch types

google-research / python-graphs

A static analysis library for computing graph representations of Python programs suitable for use with graph neural networks.

Apache License 2.0

325 stars 39 forks source link

Closed dbieber closed 2 years ago

dbieber commented 2 years ago

Updated pruning and merging logic to preserve correctness in control flow graphs containing except_branches and reraise_branches.