_评论来自：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 %))))
(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)))
如果生成的值不符合所述规范抛出的错误更友好将更好。
