Generalize reachability checks to support enums#7000

Merged

ilevkivskyi merged 8 commits intopython:masterfrom Michael0x2a:refine-enum-branch-analysis

Jul 8, 2019

+344-11

Commits on Jun 16, 2019

Commits on Jun 17, 2019

Add missing word to docstring

Michael0x2a
and
bluetech
authored

Commits on Jun 24, 2019

Merge branch 'master' into refine-enum-branch-analysis
Michael0x2a
authored

Commits on Jul 6, 2019

Commits on Jul 8, 2019