Update benchmark def for PeSCo 2.0 (!326) · Merge requests · SoSy-Lab / SV-Comp / Benchmark Definitions

The source project of this merge request has been removed.

Cedric Richter requested to merge (removed):main into main Nov 01, 2022

Update benchmark definition to support the new PeSCo 2.0 CLI. This definition will fail for older versions of PeSCo.

Update benchmark def for PeSCo 2.0