svcomp21
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 10th Competition on Software Verification (SV-COMP) 2021.
