Release 3.0
Closed Jul 3, 2020
100% complete
To celebrate the end-of-life of Python 2, we plan on releasing BenchExec 3 with support for Python 3 only.
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.