testcomp21 protected

Dirk Beyer

@dbeyer

83397401 · Merge branch 'category-check-allows-empty-opt-in-opt-out' into 'master' · Dec 19, 2020

Unverified

This tag marks the version used for the 3rd Competition on Software Testing (Test-Comp) 2021.