Update Legion command-line flags (!50) · Merge requests · SoSy-Lab / Test-Comp / Benchmark Definitions · GitLab

You need to sign in or sign up before continuing.

Gidon Ernst requested to merge gernst/testcomp-bench-defs:legion into master Nov 25, 2019