Feature #9648
Updated by Evgeny Novikov almost 5 years ago
One regression and one bug Several regressions were fixed in CPAchecker, so, it has sense to update it: * https://gitlab.com/sosy-lab/software/cpachecker/issues/570. * https://gitlab.com/sosy-lab/software/cpachecker/issues/579. it.