Re: Question about test.check, and knossos

2014-10-26 Thread Jan Stępień
On Thursday, October 23, 2014 10:04:52 AM UTC-4, Jan Stępień wrote: I've begun to work on such a tool not long ago. Thomas Arts, who gave a talk at our local FP user group meetup [mλ], inspired me to try out the approach you're describing in Clojure. After some experimen

Re: Question about test.check, and knossos

2014-10-24 Thread Ashton Kemerling
Oh thank goodness, I've been directing people towards the source for test.check, which is obviously sub-optimal. Thanks for adding that! On Fri, Oct 24, 2014 at 11:43 AM, Reid Draper wrote: > Hey Andy, > I've added a link to the API documentation [1]. And I'll update Codox for > the next versi

Re: Question about test.check, and knossos

2014-10-24 Thread Reid Draper
Hey Andy, I've added a link to the API documentation [1]. And I'll update Codox for the next version of test.check, hopefully to be released shortly. [1] https://github.com/clojure/test.check/commit/200b77bbf24b67d2904dab4d4f5722badbe8b223 Reid On Thursday, October 23, 2014 11:44:54 PM UTC-5,

Re: Question about test.check, and knossos

2014-10-23 Thread Andy Chambers
On Thursday, October 23, 2014 10:04:52 AM UTC-4, Jan Stępień wrote: I've begun to work on such a tool not long ago. Thomas Arts, who gave a > talk at > our local FP user group meetup [mλ], inspired me to try out the approach > you're > describing in Clojure. After some experiments I got the libr

Re: Question about test.check, and knossos

2014-10-23 Thread Andy Chambers
On Thursday, October 23, 2014 11:21:44 PM UTC-4, Andy Chambers wrote: > > On Thursday, October 23, 2014 9:23:36 PM UTC-4, tcrayford wrote: >> >> Hi Andy, All, >> >> I wrote a tool like this: https://github.com/tcrayford/laundromat >> >> it's super hacky, and the api is definitely in beta. I asked s

Re: Question about test.check, and knossos

2014-10-23 Thread Andy Chambers
On Thursday, October 23, 2014 9:23:36 PM UTC-4, tcrayford wrote: > > Hi Andy, All, > > I wrote a tool like this: https://github.com/tcrayford/laundromat > > it's super hacky, and the api is definitely in beta. I asked some folk > about reviewing this api, got little feedback, and figured it wasn't

Re: Question about test.check, and knossos

2014-10-23 Thread tcrayford
Hi Andy, All, I wrote a tool like this: https://github.com/tcrayford/laundromat it's super hacky, and the api is definitely in beta. I asked some folk about reviewing this api, got little feedback, and figured it wasn't that much of a wanted thing after all. I still use it internally, but it's

Re: Question about test.check, and knossos

2014-10-23 Thread Jan Stępień
Hi Andy, Lately I've been exploring the world introduced to me by watching the John > Hughes' quickcheck video from > clojure west. Awesome stuff! > > Eventually I found the "testing for fun and profit"[1] paper which left me > wanting to test my apps using > a model based system like the paper

Question about test.check, and knossos

2014-10-22 Thread Andy Chambers
Hi All, Lately I've been exploring the world introduced to me by watching the John Hughes' quickcheck video from clojure west. Awesome stuff! Eventually I found the "testing for fun and profit"[1] paper which left me wanting to test my apps using a model based system like the paper describes. I