 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; testing  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
-(defn- explain-test
+(defn- explain-check
   [args spec v role]
   (ex-info
-   "Specification-based test failed"
+   "Specification-based check failed"
    (when-not (s/valid? spec v nil)
      (assoc (s/explain-data* spec [role] [] [] v)
        ::args args
        ::val v
-       ::s/failure :test-failed))))
+       ::s/failure :check-failed))))
 
 (defn- check-call
   "Returns true if call passes specs, otherwise *returns* an exception

  [ret]
  (let [result (:result ret)]
    (cond
     (true? result) :test-passed
     (failure-type result) (failure-type result)
     :default :test-threw)))

(defn abbrev-result
  "Given a test result, returns an abbreviated version
suitable for summary use."
  [x]
  (if (true? (:result x))

  [x]
  (::s/failure (ex-data x)))

(defn- make-check-result
  "Builds spec result map."
  [check-sym spec test-check-ret]
  (merge {:spec spec
          ::stc/ret test-check-ret}
         (when check-sym
           {:sym check-sym})
         (when-let [result (-> test-check-ret :result)]
           {:result result})
         (when-let [shrunk (-> test-check-ret :shrunk)]
           {:result (:result shrunk)})))

(defn- check-1
  [{:keys [s f v spec]} {:keys [result-callback] :as opts}]
  (when v (unstrument s))
  (try
