This commit is contained in:
Nathan Marz 2015-07-03 00:11:03 -04:00
parent 4dcb6ee9a7
commit 052d541f8e

View file

@ -396,11 +396,12 @@
(is (thrown? #?(:clj Exception :cljs js/Error) (s/select-one! s/ALL []))) (is (thrown? #?(:clj Exception :cljs js/Error) (s/select-one! s/ALL [])))
) )
(defspec transformed-test (defspec transformed-test
(for-all+ (for-all+
[v (gen/vector gen/int) [v (gen/vector gen/int)
pred (gen/elements [even? odd?] pred (gen/elements [even? odd?])
op (gen/elements [inc dec]))] op (gen/elements [inc dec])]
(= (select-one (transformed [ALL pred] op) v) (= (s/select-one (s/transformed [s/ALL pred] op) v)
(transform [ALL pred] op v)) (s/transform [s/ALL pred] op v))
)) ))