 
 (defn unique-test
   [seed]
-  (sc/quick-check 100 vector-elements-are-unique
+  (sc/quick-check 1000 vector-elements-are-unique
                   [(gen/vector gen/int)] :seed seed))
 
 (defn equiv-runs

  (testing "+ and 0 form a monoid"
           (is (let [a gen/int]
                 (:result
                   (sc/quick-check 100 passes-monoid-properties [a a a]))))))

;; reverse
;; ---------------------------------------------------------------------------

(deftest reverse-equal?
  (testing "For all lists L, reverse(reverse(L)) == L"
           (is (let [v (gen/vector gen/int)]
                 (:result (sc/quick-check 1000 reverse-equal?-helper [v]))))))

;; failing reverse
;; ---------------------------------------------------------------------------
