Function parol::analysis::reachability::all_non_terminals_reachable
source ยท pub fn all_non_terminals_reachable(cfg: &Cfg) -> bool
Expand description
Detects whether all non-terminals are reachable