@gphilipp I'd think macro is doable, if you really need to have several BTs. However I'd start with (s/or ...) with all the variants you want in it, and see if that's enough

Hello, I'm trying to use the overrides argument on a generator, but I'm not sure how I supposed to use it

I'm trying like this:

(s/exercise
    (s/keys :req [:some/data
                  :some/more-data])
    5
    {:some/data #(gen'/for [i (s/gen (s/int-in 1 1000000))]
                                 (-> i bigdec (/ 100.0M) (* -1)))})

but that doesn't work, does someone have an example on how to use it?

that looks roughly correct, maybe share more of the example?

@alexmiller a more complete example here:

sorry the noise now, I was looking at the wrong number, A is always even here, saying it's correct, I'll check my other example again

@alexmiller ok, I think I might have found a bug

it works fine when the spec is not defined in terms of other spec

here is an example where the override doesn't work

(s/def ::common-etc int?)
  (s/def ::a ::common-etc)
  (s/def ::b int?)

  (s/exercise (s/keys :req [::a ::b])
              30
              {::a #(gen/fmap (fn [x] (* x 2)) (s/gen int?))})

if ::a was defined as int? it works, but when making it reference other spec, the override version is not used

Oh, yes there is a ticket for this