-
Martin Spiessl authored
The tool-info module of CPAchecker was changed and is now giving the wrong result on older CPAchecker versions. It outputs false when it should be false(unreach-call).
d9725c4f
The tool-info module of CPAchecker was changed and is now giving the wrong result on older CPAchecker versions. It outputs false when it should be false(unreach-call).