https://github.com/blt/smallcheck
an exhaustive checker in Rust
https://github.com/blt/smallcheck
Last synced: 7 months ago
JSON representation
an exhaustive checker in Rust
- Host: GitHub
- URL: https://github.com/blt/smallcheck
- Owner: blt
- License: mit
- Created: 2017-06-04T19:41:32.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2017-06-04T19:41:44.000Z (almost 9 years ago)
- Last Synced: 2025-08-29T22:29:04.434Z (7 months ago)
- Language: Rust
- Size: 3.91 KB
- Stars: 9
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE.md
Awesome Lists containing this project
- awesome-bookmarks - blt/smallcheck - an exhaustive checker in Rust (Rust)
README
# smallcheck - an exhaustive checker
smallcheck is an exhaustive checker.
In the vein of [quickcheck](https://github.com/BurntSushi/quickcheck)
`smallcheck` is a testing tool which asks that you specify properites of the
system under test and automatically generates inputs for testing. Where
`quickcheck` uses random sampling over the domain of inputs `smallcheck`
exhausts the domain, to some 'depth', going from smallest to largest values.
This implementation is based on:
* Runciman, C., Naylor, M., & Lindblad, F. (2008). Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. Acm Sigplan Notices.
* Reich, J. S., Naylor, M., & Runciman, C. (2012). Advances in Lazy SmallCheck. In Implementation and Application of Functional Languages (Vol. 8241, pp. 53–70). Berlin, Heidelberg: Springer, Berlin, Heidelberg. http://doi.org/10.1007/978-3-642-41582-1_4
- - -
I listened to so much Brian Eno when writing this library. So. Much.