当生成器无法生成时，请说明哪个规范/预测失败

Question

给定一个使用such-that但却找不到值的生成器，错误没有提供足够的信息来确定哪个规范或预测存在错误


(require '[clojure.spec :as s])
(s/exercise (s/and string? #{"hi"}))
ExceptionInfo 在100次尝试后无法满足such-that预测。  clojure.core/ex-info (core.clj:4725)


这种情况的另一个特例是在提供自定义生成器生成有效的但又不满足规范的数据时（Clojure内部添加了此过滤器）


(require '[clojure.spec :as s])
(s/exercise (s/with-gen int? #(s/gen #{:a})))


*提案：* 在错误信息中指示哪个规范失败生成，并在可能的情况下指出整体规范中的路径。

(注意：原始描述已移动到注释)

Answer 1

_评论由：alexmiller_添加

[原始描述来自票据:]

我创建了一个不符合规范的生成器（错了！）该生成器包含such-that预测。当我尝试从这个生成器中创建一个示例时，我得到了这个错误

ExceptionInfo 在100次尝试后无法满足such-that预测。  clojure.core/ex-info (core.clj:4725)

我假设这指的是我的自定义生成器，但这并不是因为实际上规范必须使用such-that来确保生成的值符合规范，而是这个such-that导致了失败，而不是我的自定义生成器中的那个。

代码（已修正问题但展示了我的生成器中的such-that


(defn mod11-checkdigit
  "计算校验位，请参阅 http://freagra.com/imthealth/mitNNC.html"
  [n]
  (let [x (->> (map #(Integer/parseInt (str %)) (take 9 n))
               (map * (range 10 1 -1))
               (reduce +))
        y (mod x 11)
        c (- 11 y)]
    (cond (== 10 c) nil
          (== 11 c) 0
          :else c)))

(def nhs-number-gen
  "生成有效的NHS号码"}
  (gen/fmap #(str (+ (* 10 %) (mod11-checkdigit (str %))))
            (gen/such-that #(mod11-checkdigit (str %))
                           (gen/choose 100000000 999999999))))

(defn nhs-number?
  "如果传入的NHS号码有效则返回true，否则返回false"
  [n]
  (and (string? n) (= 10 (count n)) (= (str (mod11-checkdigit n)) (str (last n)))))

(s/def ::nhs-number (s/with-gen nhs-number?
                                                                                                    ；(fn [] nhs-number-gen)))




如果生成的值不符合规范声明的错误抛出会更友好。

Answer 2

由：alexmiller

我不确定目前是否能根据我们提供的和从test.check返回的信息做到这一点。

Answer 3

由：glittershark

看起来test.check正在更新以支持错误定制： https://github.com/clojure/test.check/commit/5aea0e275257680b672309b1e940be6dae92c17d . 我有一个补丁，它将clojure.spec更新为使用它，尽管很明显它不起作用，因为关联的提交还没有进入test.check的发布版本。

Answer 4

由：glittershark

参见http://dev.clojure.org/jira/browse/TCHECK-107 我想

Answer 5

由：glittershark

附上补丁供将来参考（《better-such-that-info.patch》）。

Answer 6

参考：https://clojure.atlassian.net/browse/CLJ-2025 （由 alex+import 报告）