Fork me on GitHub
#test-check
<
2016-11-15
>
nberger12:11:54

@gfredericks I think so. I'll play with it in the next few days. I already started rebasing the stats branch to the current master, playing with this will be my next task

nberger12:11:53

but not "as is": we need a way to carry the labels over the quick check loop, but result is not passed over on passing trials (neither to the recur or to the reporter-fn :trial). I'm looking at https://github.com/clojure/test.check/blob/4450152532eeaace449ca9241673428a19448eba/src/main/clojure/clojure/test/check.cljc#L101-L105

nberger12:11:04

We especially need to pass it in some way in that recur call. But passing result doesn't make much sense to me

gfredericks12:11:22

it might not make any sense

gfredericks12:11:28

just struck me as a somewhat overlapping bit of functionality

nberger12:11:43

@gfredericks have you thought of turning the quickcheck loop into a reduce, where some "bigger" state is carried over, including the rng-state, the labels, test count... well all the state that is passed over in the recur but in a way that it would be easier to add stuff like the stats labels?

nberger13:11:23

I've been thinking around that idea for some time, but never got to play with it. At first sight seems like it should work. I think haskell's quickcheck works that way, I'm looking at https://github.com/nick8325/quickcheck/blob/master/Test/QuickCheck/Property.hs#L370. Even though my haskell fu is very limited, and that the function is called mapTotalResult, I think it's a reduce 🙂

nberger13:11:14

For anyone wondering what statistics are we talking about, it's on http://dev.clojure.org/jira/browse/TCHECK-87

gfredericks13:11:07

I was monkeying with the quickcheck loop when I was trying to do parallel tests

gfredericks13:11:20

which changes the linearity of the reduce

gfredericks13:11:29

but I think it is a reduce, yeah