CPAchecker command line for test harnesses is invalid
PhilippWendler opened this issue · 1 comments
PhilippWendler commented
The command line
scripts/cpa.sh -generateTestHarness -spec PropertyUnreachCall.prp -spec example-1-witness.graphml example-1.i
is invalid. The same holds for the other example.
mdangl commented
Fixed.