testcomp21

Dirk Beyer

@dbeyer

efea7382 · Merge pull request #1253 from sosy-lab/aws-variable-initialization · Dec 03, 2020

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