No overflow categories (!333) · Merge requests · SoSy-Lab / SV-Comp / Benchmark Definitions · GitLab

Frank Schüssele requested to merge ultimate-pa/bench-defs:no-overflow-categories into main Nov 09, 2022

This MR changes the category structure the no-overflow category:

NoOverflows-Bitvector and NoOverflows-Other were merged into NoOverflows-Main (see sosy-lab/benchmarking/sv-benchmarks!1401 (merged))
The subcategory NoOverflows-Juliet was added (see sosy-lab/benchmarking/sv-benchmarks!1369 (merged))

Edited Nov 09, 2022 by Philipp Wendler