Skip to content

Draft: Reverting acceptance of mismatching properties.

Levente Bajczirequested to merge
levente.bajczi/competition-scripts:mismatching_properties_revert into main

Reverting #138, because that was an SV-COMP'25 exception. I'm marking this as a draft so that it is not merged by mistake. Corresponding rule change: sosy-lab/sv-comp/bench-defs!512 (closed)

Edited by Levente Bajczi

Merge request reports