testcomp24

Dirk Beyer

@dbeyer

0ea9290d · Resolve path names in CI to canonical relative paths · Dec 07, 2023

Release of final version of benchmark set for Test-Comp 2024