Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Primary navigation
Search or go to…
Project
B
Benchmark Definitions
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Iterations
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Locked files
Build
Pipelines
Jobs
Pipeline schedules
Test cases
Artifacts
Deploy
Model registry
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Code review analytics
Issue analytics
Insights
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Privacy statement
Keyboard shortcuts
?
What's new
6
Snippets
Groups
Projects
Show more breadcrumbs
SoSy-Lab
Test-Comp
Benchmark Definitions
Repository
1677027f4df234936a00971f524c0decb9424607
Select Git revision
Branches
4
main
default
protected
remove-reachsafety-fuzzle
add-fuzzle-tasks
marek/remove_symbiotic
Tags
10
testcomp24
protected
testcomp25-rc.1
protected
testcomp24-rc.1
protected
testcomp23
protected
testcomp23-rc.1
protected
testcomp22
protected
testcomp22-rc.1
protected
testcomp21
protected
testcomp20
protected
testcomp19
protected
14 results
bench-defs
benchmark-defs
symbiotic.xml
Find file
Blame
Permalink
5 years ago
8bea9f73
Add display names of the systems
· 8bea9f73
Dirk Beyer
authored
5 years ago
8bea9f73
History
Add display names of the systems
Dirk Beyer
authored
5 years ago
Code owners
Assign users and groups as approvers for specific file changes.
Learn more.