testcomp26 protected

Dirk Beyer

@dbeyer

7efe28dd · Merge branch 'property-descriptions' into 'main' · Feb 14, 2026

Unverified

Final benchmark set for Test-Comp 2026 (2026-02-14)