Fork me on GitHub
#clojure-spec
<
2019-09-04
>
johanatan18:09:43

i have a function from ::a -> ::b and i am testing it with stest/check. i have set :num-tests to 1 via: (stest/check 'the-sym {:clojure.spec.test.check/opts {:num-tests 1}}). does it make sense that i would see two ::as generated?

johanatan18:09:30

[i've verified that both generated ::as are non-trivial/non-empty so it shouldn't be stest peeking at the first and considering it "not good enough" then proceeding to the second].

johanatan18:09:00

hmm... i guess there could be a hidden such-that or some other "retry" mechanism behind the scenes.

taylor18:09:17

got a small repro example?

Alex Miller (Clojure team)18:09:36

you may see it gen more than once