I do not expect anything useful from this update but let's be in touch.
Updated by Evgeny Novikov about 2 months ago
- Target version set to 3.0
- Priority changed from High to Urgent
- Assignee set to Ilja Zakharov
- Subject changed from Update to BenchExec 1.19 to Update BenchExec
We still use BenchExec 1.18 released ~2 years ago. This is not so stable package that can be used without updates. Most likely numerous tricky issues were fixed in new versions. Unfortunately, we can expect some new limitations for users, e.g. that one can use BenchExec just on Ubuntu without much pain. Besides, there may be new bugs. Let's see.