Skip to content
GitLab
    • Why GitLab
    • Pricing
    • Contact Sales
    • Explore
  • Why GitLab
  • Pricing
  • Contact Sales
  • Explore
  • Sign in
  • Get free trial
  • SoSy-Lab SoSy-Lab
  • Test-Comp
  • Benchmark Definitions
  • Repository
  • bench-defs
  • benchmark-defs
  • legion-symcc.xml
Find file Blame History Permalink
  • Gidon Ernst's avatar
    Legion/SymCC add -e flag to allow it to participate in the error category · 6202690b
    Gidon Ernst authored Dec 02, 2022
    6202690b