Skip to content

Consistently use 24 in latest SV-COMP configs

Thomas Lemberger requested to merge svcomp24-consistency-adjustments into trunk

Not sure whether any of these were kept on purpose, so I'm creating an MR to check.

Merge request reports