Tags give the ability to mark specific points in history as being important
-
testcomp21
83397401 · ·This tag marks the version used for the 3rd Competition on Software Testing (Test-Comp) 2021.
Competition Scripts used for SV-Comp 2025
Release candidate for Test-Comp 2025 (version before final execution)
Version used for SV-COMP 2025 before final execution
Release candidate for SV-COMP 2024
Final release for SV-Comp 2023
Final release for Test-Comp 2023
Release candidate for Test-Comp 2023
Release candidate for SV-COMP 2023
Release version for SV-COMP 2022
Release candidate for Test-Comp 2022
This tag marks the version used for the 10th Competition on Software Verification (SV-COMP) 2021.
This tag marks the version used for the 3rd Competition on Software Testing (Test-Comp) 2021.