Documentation for test harnesses mentions test/programs/benchmarks
PhilippWendler opened this issue · 1 comments
PhilippWendler commented
The documentation for test harnesses refers to test/programs/benchmarks
, which is not present in a CPAchecker checkout. This should be replaced by something that is usable by everyone.