benchmark-defs/category-structure.yml · svcomp21 · SoSy-Lab / SV-Comp / Benchmark Definitions · GitLab

Find file Blame History Permalink

Merge branch 'hors-concours' into 'master' · 0c8445d7
Dirk Beyer authored Dec 19, 2020
```
Add hors concours verifiers for SV-COMP21

See merge request !212
```
0c8445d7

category-structure.yml 11.2 KB