Tags give the ability to mark specific points in history as being important
-
testcomp21
efea7382 · ·This tag marks the version used for the 3rd Competition on Software Testing (Test-Comp) 2021.
-
verifier-error
f6208b2a · ·This tag marks the version of the benchmark sets before the change from __VERIFIER_error to reach_error.
-
testcomp20
d6cd3e5d · ·This tag marks the version of the benchmark set of test tasks for the Competition on Software Testing (Test-Comp) 2020.
-
testcomp19
6a770a9c · ·Benchmark set of tasks of the Competition on Software Testing (Test-Comp) 2019.
-
svcomp14-demo
0bbd7516 · ·Benchmark set of verification tasks that were used for the demonstration experiments after SV-COMP 2014.