how do you do generative testing with spec? I now use

(defspec xyz
  100
  (prop/for-all [v (s/gen ::my-spec), res (myfn  v)]
    (do (s/assert ::my-result res)
          (my-check-some-property-on v res))))