minicheck

A state-of-the-art Property-Based-Testing library written in about 200 lines Scala.

About

This is a research project to develop a state-of-the-art Property-Based-Testing library. minicheck is a product of this project, written in less than 200 lines Scala, but it has some advanced features:

• Integrated Shrinking: A shrinking function is integrated with a value generator.
• Higher-Order Functions: To generate and shrink higher-order functions is supported.

NOTE: This library is for demonstrating the research result. If you want a production-ready Property-Based-Testing library, please see Hariko.

License

MIT License.

(C) 2020 TSUYUSATO "MakeNowJust" Kitsune