* extended vplc tool to allow for CPAChecker and CBMC runs via c-exports
* extended vplc tool to allow for CPAChecker and CBMC runs via c-exports

martin-neuhaeusser/benchexec,martin-neuhaeusser/benchexec,martin-neuhaeusser/benchexec,martin-neuhaeusser/benchexec