test.check

    0熱度

    2回答

    繼此question和此處引用的博客post之後,prop/for-all不僅僅是直接在這種能力中滾動嗎?例如。類似: (require '[clojure.test.check.generators :as gen]) (require '[clojure.test.check.properties :as prop]) (require '[clojure.test.check.cloju

    2熱度

    1回答

    我正在玩test.check,並且正在測試一個將地圖作爲參數的函數。這些地圖確實有一個定義的結構,如: {:name "Bob" :age 42 :email "[email protected]" :admin true} 關鍵點,有一組預期的按鍵,其值有不同的明確定義發電機。 我看了看gen/map,但它並不明顯如何使用它更加結構化的鍵/值對: (gen/sample (gen/map g

    3熱度

    1回答

    隨着Spec的推出,我嘗試爲我的所有函數編寫test.check生成器。這對簡單的數據結構來說很好,但對於具有相互依賴的部分的數據結構往往會變得困難。換句話說,發電機內的一些國家管理部門是需要的。 Clojure循環的生成器等價物/遞歸或減少已經非常有幫助,因此一次迭代中生成的值可以存儲在某個聚合值中,然後在隨後的迭代中可以訪問該聚合值。 一個簡單的例子,其中,這將是必需的,是提供一種用於拆分集合

    0熱度

    2回答

    我想爲函數創建一個生成器。 我注意到確實有IFn值的生成器,但是當函數域是無限的(並且由於值是嚴格的),它們通常不可用作函數的生成器。 此功能是否存在或是否必須自己實現?

    2熱度

    1回答

    數據我想使用test.check產生排序的形式 [ [timestamp value] [timestamp value] ..] 其中時間戳值-pairs按升序排列的時間序列數據按時間戳。 我可以很容易地生成以隨機順序這樣的數據與 (gen/tuple timestamp gen/int)其中timestamp是例如(gen/choose 1412664660 1423419720) 我應該如何

    2熱度

    2回答

    使用test.check我需要一個生成器來生成一定長度的字符串。電話號碼,郵政編碼,社會安全號碼都是這類數據的例子。儘管這些例子看起來只是數字,但我的問題一般是針對字符串的。