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