svcomp25-freeze protected

Dirk Beyer

@dbeyer

44c5ca60 · Merge branch 'fix-dart-dart' into 'main' · Nov 06, 2024

Version of benchmark sets for SV-COMP 2025 after the freeze milestone