Home | History | Annotate | Download | only in Utils

Lines Matching full:assumption

477 /// Assumption: Succ is the single successor for BB.