Expound printing mimimized failing input

expound_check.clj

(require '[expound.alpha :as expound] '[clojure.spec.test.alpha :as st] '[clojure.spec.alpha :as s])
(s/fdef foo :args (s/cat :x pos-int?) :ret (s/int-in 0 5))
(defn foo [x] x)
(set! s/*explain-out* expound/printer)
(expound/explain-results (st/check `foo))
;;== Checked user/foo =========================
;;
;;-- Function spec failed -----------
;;
;;  (user/foo 5)
;;
;;returned an invalid value.
;;
;;  5
;;
;;should satisfy
;;
;;  (fn [%] (clojure.spec.alpha/int-in-range? 0 5 %))
;;
;;-------------------------
;;Detected 1 error