      (validate-check-opts opts)
      (check-1 {:f f :spec spec} opts)))
 
-(defn testable-syms
+(defn checkable-syms
   "Given an opts map as per check, returns the set of syms that
 can be tested."
-  ([] (testable-syms nil))
+  ([] (checkable-syms nil))
   ([opts]
      (validate-check-opts opts)
      (reduce into #{} [(filter fn-spec-name? (keys (s/registry)))

  [s]
  (when-let [v (resolve s)]
    (when-let [{:keys [raw wrapped]} (get @instrumented-vars v)]
      (let [current @v]
        (when (= wrapped current)
          (alter-var-root v (constantly raw))))
      (swap! instrumented-vars dissoc v))
    (->sym v)))

(defn- opt-syms
  "Returns set of symbols referenced by 'instrument' opts map"

(defn check
  "Run generative tests for spec conformance on vars named by
sym-or-syms, a symbol or collection of symbols. If sym-or-syms
is not specified, check all checkable vars.

The opts map includes the following optional keys, where stc
aliases clojure.spec.test.check: 
