Published January 8, 2022 | Version svcomp22
Software Open

SV-Benchmarks: Benchmark Set for Software Verification and Testing (SV-COMP 2022 and Test-Comp 2022)

Creators

  • 1. LMU Munich, Germany

Description

Full benchmark set of the

  • 11th Intl. Competition on Software Verification (SV-COMP 2022) and the
  • 4th Intl. Competition on Software Testing (Test-Comp 2022).

Licenses are included with the source code.

Files

svcomp22-testcomp22-sv-benchmarks.zip

Files (1.2 GB)

Name Size Download all
md5:9b133a116cb5518477b985e916b2ef34
1.2 GB Preview Download