Labels

• affects SV-COMP rules
• build system and metadata
• C

  Task in language C
• category definitions
• CI

  Continous Integration
• data-race

  Issues about the data-race category
• documentation
• duplicate
• for test generation
• for verification
• help wanted
• issue with benchmark
• Java

  Task in language Java
• new benchmarks
• question
• top priority

  Should be fixed ASAP
• upstream

  Affects upstream repositories which contributed becnhmark tasks
• WIP-DontMerge

  Experimental, should not be merged immediately