(defn foo [] 'fo)
(s/fdef foo :ret int?)
(stest/instrument `foo)
(foo)

ret specs are not instrumented by stest/instrument

ah

you can use stest/check to check the entire function spec, as per https://clojure.org/guides/spec#_testing