Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
bench-defs
benchmark-defs
pichecker.xml
Find file
Blame
History
Permalink
Merge branch 'valid-resultfiles-pattern' into 'main'
· 33a26f90
Dirk Beyer
authored
Nov 17, 2023
Fix resultfiles patterns such that they can be correctly handled by BenchExec See merge request
!411
33a26f90