問題タブ [generative-testing]
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.
12 問題
0
投票する
1
に答える
469
参照
clojure - REPL が失敗しないのに、Clojure 仕様のテスト/チェックが戻り値の検証に失敗する理由を理解するのに助けが必要です
私はテストとデータ生成のためにClojure Specをいじっていて、関数がユニットテストで機能し、検証がREPLで機能するという奇妙な動作を見ていますが、spec.test/checkを使用した生成テストは失敗しています。
次のような一連の仕様を作成しました。
そして fn 実装:
そして、REPL では、仕様の生成とテストの両方から期待されることがわかります。
しかし、テスト/チェックでこれが表示される理由がわかりません:
返されたオブジェクトは今のところ「大丈夫」に見えますが、ジェネレーターの fn 構成に関連しているように感じます。