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

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_ 发表

[原始描述来自工单:]

我创建了一个不符合规范的生成器（doh!）。生成器包含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 %))))
                                       
(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

我不确定根据我们提供给测试.check和从测试.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报告）