improve test

This commit is contained in:
Nathan Marz 2015-06-25 13:35:01 -04:00
parent b30d343290
commit 7520dd7e38

View file

@ -106,9 +106,11 @@
(defspec transform-filterer-all-equivalency (defspec transform-filterer-all-equivalency
(prop/for-all (prop/for-all
[v (gen/vector gen/int)] [v (gen/vector gen/int)
(let [v2 (transform [(filterer odd?) ALL] inc v) pred (gen/elements [even? odd?])
v3 (transform [ALL odd?] inc v)] updater (gen/elements [inc dec])]
(let [v2 (transform [(filterer pred) ALL] updater v)
v3 (transform [ALL pred] updater v)]
(= v2 v3)) (= v2 v3))
)) ))