improve test
This commit is contained in:
parent
7520dd7e38
commit
dc1da8dfcd
1 changed files with 4 additions and 3 deletions
|
|
@ -135,12 +135,13 @@
|
||||||
|
|
||||||
(defspec transform-last-compound
|
(defspec transform-last-compound
|
||||||
(for-all+
|
(for-all+
|
||||||
[v (gen/such-that #(some odd? %) (gen/vector gen/int))]
|
[pred (gen/elements [odd? even?])
|
||||||
(let [v2 (transform [(filterer odd?) LAST] inc v)
|
v (gen/such-that #(some pred %) (gen/vector gen/int))]
|
||||||
|
(let [v2 (transform [(filterer pred) LAST] inc v)
|
||||||
differing-elems (differing-elements v v2)]
|
differing-elems (differing-elements v v2)]
|
||||||
(and (= (count v2) (count v))
|
(and (= (count v2) (count v))
|
||||||
(= (count differing-elems) 1)
|
(= (count differing-elems) 1)
|
||||||
(every? even? (drop (first differing-elems) v2))
|
(every? (complement pred) (drop (first differing-elems) v2))
|
||||||
))))
|
))))
|
||||||
|
|
||||||
;; max sizes prevent too much data from being generated and keeps test from taking forever
|
;; max sizes prevent too much data from being generated and keeps test from taking forever
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue