Skip to content

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

Po-Chun Chienrequested 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: sosy-lab/software/verifiercloud#592 (comment 1646023163)

Edited by Po-Chun Chien

Merge request reports