svcomp25-rc.1 protected

Dirk Beyer

@dbeyer

d068d261 · Merge branch '1429-fix-specification-path' into 'main' · Nov 29, 2024

Version of benchmark sets for SV-COMP 2025 before final execution