問題タブ [clojure.spec]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票する
1 に答える
640 参照

clojure - Clojure Specと「100回試行した後、そのような述語を満たすことができませんでした...」

::giveeaと aがあるとしましょう::giver:

そのフォームはunq/gift-pair

そして、次の aがあり:unq/gift-historyます。vectorunq/gift-pair

最後に、次のいずれかを置き換えたいとし:unq/gift-pairますvector

すべて正常に動作します:

私がそれを試みるまでstest/check

ベクトル数を制限するために使用しようとしs/int-inましたが(それが問題かもしれないと考えています)、成功しませんでした。

(stest/check `set-gift-pair-in-gift-history)正しく実行する方法についてのアイデアはありますか?

ありがとうございました。