Skip to content

Allow un-preprocessed programs

Simmo Saanrequested to merge
un-preprocessed into main

This adapts sv-benchmarks to the SV-COMP rule change: sosy-lab/sv-comp/bench-defs!537 (merged).

Merge request reports