Use new category 'SoftwareSystems-Other-ReachSafety' and 'SoftwareSystems-Other-MemSafety' (!119) · Merge requests · SoSy-Lab / Test-Comp / Benchmark Definitions · GitLab

Thomas Lemberger requested to merge lemberger/test-comp-benchmark-definitions:update-categories into main Nov 09, 2023

Introduced in sosy-lab/benchmarking/sv-benchmarks!1475 (merged)