-
-
-
testcomp23-rc.1
Release candidate for Test-Comp 2023
-
svcomp23-rc.1
Release candidate for SV-COMP 2023
-
testcomp22
Release version for Test-Comp 2022
-
svcomp22
Release version for SV-COMP 2022
-
testcomp22-rc.1
Release candidate for Test-Comp 2022
-
svcomp22-rc.2
Release candidate for SV-COMP 2022
-
svcomp22-rc.1
Release candidate for SV-COMP 2022
-
svcomp21
This tag marks the version used for the 10th Competition on Software Verification (SV-COMP) 2021.
-
testcomp21
This tag marks the version used for the 3rd Competition on Software Testing (Test-Comp) 2021.
-
verifier-error
This tag marks the version of the benchmark sets before the change from __VERIFIER_error to reach_error.
-
svcomp20
This tag marks the version of the benchmark set of verification tasks for the Competition on Software Verification (SV-COMP) 2020.
-
testcomp20
This tag marks the version of the benchmark set of test tasks for the Competition on Software Testing (Test-Comp) 2020.
-
testcomp19
Benchmark set of tasks of the Competition on Software Testing (Test-Comp) 2019.
-
svcomp19
Benchmark set of verification tasks of the Competition on Software Verification (SV-COMP) 2019.
-
svcomp18
Benchmark set of verification tasks of the Competition on Software Verification (SV-COMP) 2018.
-
svcomp17
Verification tasks as used in the competition on software verification (SV-COMP) 2017.
-
svcomp16
Snapshot of verification tasks as used for SV-COMP 2016.
-
svcomp15
Final benchmark set of verification tasks for SV-COMP 2015.