Skip to content

Update benchmark definition of PeSCo to support new CLI

Cedric Richter requested to merge pesco into main

The new version of PeSCo (merge request is pending in Verifier Archives 2023) uses a new CLI to run the verifier.

To support the new CLI, the benchmark definition has to be updated.

Merge request reports