search

reiddraper / simple-check

QuickCheck for Clojure
http://reiddraper.github.io/simple-check/
286 stars 18 forks source link

Allow for a max shrink time in quick-check #40

Closed dm3 closed 10 years ago

dm3 commented 10 years ago

This is the simplest implementation I could come up with. Without bounds, checks with large generators are almost unusable. Feel free to discuss if you thought about a different approach for time bounding.

reiddraper commented 10 years ago

Sorry for the delayed reply. simple-check is likely moving to a Clojure contrib repository, so, I'm going to wait for that to happen before merging new PRs.

dm3 commented 10 years ago

What's the state of this library? Was it merged into clojure contrib? I see the development continues in the reiddraper/simple-check repository.

reiddraper commented 10 years ago

What's the state of this library? Was it merged into clojure contrib?

In order for a library to become clojure-contrib, all of the developers must have a signed Clojure CA and email the clojure-dev mailing list. This process has just completed, as you can see here. I'm currently in the process of getting the new repository set up and the namespaces renamed, etc.

I see the development continues in the reiddraper/simple-check repository.

Developers who had already contributed and were part of the clojure-dev mailing list thread can continue to contribute to simple-check until the migration is complete. Once the migration is complete, anyone with a signed Clojure CA can contribute. You can learn more about Clojure's contribution process.

I'm sorry for the inconvenience, and I hope to have the migration down in the next week or so.