Fork me on GitHub

@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: And here's the refactor itself: (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!