Great post @viebel! > Maybe it will catch a bug or two... Indeed, I've seen it catching a couple already! 🙂
what kind of bugs?
Please share details @nberger
Can't share much details @viebel, but basically found a bug in handling a request on a REST api once the system reaches a specific state, with the help of a stateful test.check test.
👏
@nberger test.check official documentation with klipse will look like this
http://viebel.github.io/klipse/examples/test.check/doc/generator-examples.html
http://viebel.github.io/klipse/examples/test.check/doc/clojure.test.check.html#var-quick-check