formatting

This commit is contained in:
Nathan Marz 2015-04-27 14:49:39 -04:00
parent 98295df9bc
commit 277735dd9b

View file

@ -33,12 +33,12 @@
(defspec select-pos-extreme-pred (defspec select-pos-extreme-pred
(for-all+ (for-all+
[v (gen/vector gen/int) [v (gen/vector gen/int)
pred (gen/elements [odd? even?]) pred (gen/elements [odd? even?])
pos (gen/elements [[FIRST first] [LAST last]])] pos (gen/elements [[FIRST first] [LAST last]])]
(= (select-one [(filterer pred) (first pos)] v) (= (select-one [(filterer pred) (first pos)] v)
(->> v (filter pred) ((last pos))) (->> v (filter pred) ((last pos)))
))) )))
(defspec select-all-on-map (defspec select-all-on-map
(for-all+ (for-all+