Tags

Tags give the ability to mark specific points in history as being important

4cc6b6d9 · Merge pull request #1273 from tautschnig/rm-ldv · Dec 19, 2020

This tag marks the version used for the 10th Competition on Software Verification (SV-COMP) 2021.

testcomp21

efea7382 · Merge pull request #1253 from sosy-lab/aws-variable-initialization · Dec 03, 2020
```
This tag marks the version used for the 3rd Competition on Software Testing (Test-Comp) 2021.
```
Unverified

f6208b2a · Remove undefined behavior in C90-style structhack · Jan 17, 2020

This tag marks the version of the benchmark sets before the change from __VERIFIER_error to reach_error.

8895093c · Remove eliminated file from CI whitelist · Dec 19, 2019

This tag marks the version of the benchmark set of verification tasks for the Competition on Software Verification (SV-COMP) 2020.

d6cd3e5d · Merge pull request #1020 from sosy-lab/revert-905-knr-function-style · Nov 23, 2019

This tag marks the version of the benchmark set of test tasks for the Competition on Software Testing (Test-Comp) 2020.

testcomp19

6a770a9c · Merge pull request #791 from sosy-lab/vla · Feb 04, 2019
```
Benchmark set of tasks of the Competition on Software Testing (Test-Comp) 2019.
```
Unverified

b8369a39 · Merge pull request #758 from tautschnig/remove-memcpy · Dec 11, 2018

Benchmark set of verification tasks of the Competition on Software Verification (SV-COMP) 2019.

f2996ff1 · Merge pull request #542 from staticafi/busybox-fixes2 · Nov 23, 2017

Benchmark set of verification tasks of the Competition on Software Verification (SV-COMP) 2018.

svcomp17

02795d8c · Removal of two verification tasks according to SV-COMP Motion 2017-07... · Jan 20, 2017
```
Verification tasks as used in the competition on software verification (SV-COMP) 2017.
```
Unverified
svcomp16

dbb93725 · Removed two files with wrong classification of expected result from the... · Jan 24, 2016
```
Snapshot of verification tasks as used for SV-COMP 2016.
```
Unverified
svcomp15

c32e5c5e · Moved verification tasks with overflow and modulo (unsigned ints) to category... · Dec 18, 2014
```
Final benchmark set of verification tasks for SV-COMP 2015.
```
Unverified

0bbd7516 · adding testsets for unsafe files · Jan 27, 2014

Benchmark set of verification tasks that were used for the demonstration experiments after SV-COMP 2014.

svcomp14

2a7ed1d2 · Verification task removed by jury decision from 2013-12-04 · Dec 05, 2013
```
Final benchmark set of verification tasks for SV-COMP 2014.
```
Unverified
svcomp13

74ce66dc · Backporting license info (2) · Aug 17, 2013
```
Final benchmark set of verification problems for SV-COMP 2013.
```
Unverified
svcomp12

29583830 · Inconsistent verification problems removed from benchmark set, as agreed on in... · Dec 02, 2011
```
Final benchmark set of verification problems for SV-COMP 2012.
```
Unverified