v2.5.0
Closed Nov 28, 2024
100% complete
Functionally equivalent to Goblint in SV-COMP 2025.
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.