144145146147148149150151152153154
} } if (edgesToRemove.size() > 0) { changed = true; for (Edge e : edgesToRemove) { cfg.removeEdge(e); } } } cfg.setFlag(CFG.PRUNED_FAILED_ASSERTION_EDGES);