@gfredericks: I added a defspec-async macro in that branch, it would be great if you could take a look and tell me how it looks to you. This async stuff is done over the refactoring that I started a while ago, so here's the diff based on that refactoring: https://github.com/nberger/test.check/compare/test.check.refactor...refactor-allow-async And here's the refactor itself: https://github.com/clojure/test.check/compare/master...nberger:test.check.refactor (it's the same diff as in the current TCHECK-126 patch)

There's some level of duplication between quick-check/`async-quick-check` and also shrink/`async-shrink` but maybe it's better this way (than refactoring it further so they share some parts but it could end being less readable)

okay, I'll take a look in the next few days; thanks!

Thanks to you!