analyzer
analyzer copied to clipboard
SV-COMP 2025 development
This branch contains development and integration for SV-COMP 2025. This branch is used for creating verifier archives for preruns.
PRs
It includes some not-yet merged PRs:
- #1593
- #1519
- #1596
TODO
- [ ] Merge
masterin (regularly).