Skip to content

Merge SoftwareSystems subcategories

Simmo Saan requested to merge softwaresystems-rebalance into main

Proposal: #1384 (comment 1632028102). Accepted at community meeting on 2023-11-07.

Required for sosy-lab/sv-comp/bench-defs!397 (merged). Closes #1384 (closed).

Edited by Simmo Saan

Merge request reports