testcomp23
Dirk Beyer's avatar
Dirk Beyer
@dbeyer
e6f84b5a · More flexible configuration for a special local configuration ·
Unverified 
Final release for Test-Comp 2023