Add missing option '-outputpath' to CPA-witness2test
requested to merge lemberger/sv-comp-benchmark-definitions:add-missing-option-cpa-witness2test into main
Without an explicitly defined outputpath, the submitted version of CPA-witness2test fails with an ERROR.