New options of Legion (!57) · Merge requests · SoSy-Lab / Test-Comp / Benchmark Definitions · GitLab

Dongge requested to merge AlanLiu/bench-defs:patch-1 into master Oct 15, 2020

Adding new arguments of Legion