testcomp20

Dirk Beyer

@dbeyer

d6cd3e5d · Merge pull request #1020 from sosy-lab/revert-905-knr-function-style · Nov 23, 2019

This tag marks the version of the benchmark set of test tasks for the Competition on Software Testing (Test-Comp) 2020.