Today version 0.1.5 of the stainless crate was released. It’s been in the making for a while now. Mainly because the original author (Jonathan Reem) has been busy with other things. But he graciously allowed me to help out as I like stainless as lot. So you can expect new releases more often from now on!
The highlights of this release are:
- The ability to disable tests by using
- Working benchmarks! They’ve been broken for a while now.
- Matching on the error message for failing tests
- Better documentation. The README was completely rewritten
Feel free to open new issues on GitHub if you think there’s stuff missing from this crate.