Release candidate for Test-Comp 2024