svcomp24-rc.5 protected

Dirk Beyer

@dbeyer

6573c593 · Add list of task definitions that were changed after the freezing deadline and... · Dec 07, 2023

Release candidate for SV-COMP 2024