Avoid duplicate tasks
requested to merge lemberger/test-comp-benchmark-definitions:benchdef-remove-duplicate-files into main
Requires sosy-lab/benchmarking/competition-scripts!102 (merged)
- Get rid of duplicate category ReachSafety-Hardware
- Introduce own set files for Arrays and Heaps sv-benchmarks does not contain non-intersecting set files that cover the whole categories, so we use our own ones.
Edited by Thomas Lemberger