Skip to content

Fix resultfiles patterns such that they can be correctly handled by BenchExec

Po-Chun Chien requested to merge valid-resultfiles-pattern into main

The previous resultfiles pattern **/witness.{graphml,yml} does not work with BenchExec. This MR fixes the pattern.

Related discussion thread: https://gitlab.com/sosy-lab/software/verifiercloud/-/issues/592#note_1646023163

Edited by Po-Chun Chien

Merge request reports