Sign in or sign up before continuing. Don't have an account yet? Register now to get started.
Register now
testcomp21
Dirk Beyer
@dbeyer
efea7382
·
Merge pull request #1253 from sosy-lab/aws-variable-initialization
·
Dec 03, 2020
Unverified
This tag marks the version used for the 3rd Competition on Software Testing (Test-Comp) 2021.
