Skip to content

Change pattern syntax to match result files to Python syntax

Dirk Beyer requested to merge benchexec-result-pattern into main

Change pattern syntax to match result files to Python syntax (cf. https://github.com/sosy-lab/benchexec/blob/main/doc/container.md#retrieving-result-files)

Merge request reports