mkroening opened this issue 3 years ago · 3 comments
The README is partly outdated and can be streamlined.
Do I fix it with #330 ?
I think the problem was mostly solved by #301. But let's talk about the README together before closing this issue.
A lot of this was done in #380.