Category Structure for SV-COMP 2020
How to best integrate new benchmark sets:
- #798 OpenBSD: Own sub-category or part of existing sub-category?
- #803 VerifyThis: Recursive examples have heap manipulation, move there?
- #817 AWS C Common
- #808 Programs with nonlinear properties
- Split DeviceDrivers into small (<10 kLOC), medium (<100 kLOC), large (>=100 kLOC) Add ldv-challenges to the category of large driver tasks.
- Juliet