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
FuSeBMC.xml
Find file
Blame
History
Permalink
Merge branch 'benchexec-result-pattern' into 'main'
· 2547ce05
Dirk Beyer
authored
Nov 27, 2021
Change pattern syntax to match result files to Python syntax See merge request
!88
2547ce05