From fd37cdc62339b4f39c415e449e6e7f60697a2487 Mon Sep 17 00:00:00 2001 From: Stuart Halloway Date: Fri, 19 Oct 2012 14:47:57 -0400 Subject: [PATCH] CLJ-1084 tests, update to latest test.generative --- pom.xml | 2 +- test/clojure/test_clojure/data_structures.clj | 13 ++++++++++++- 2 files changed, 13 insertions(+), 2 deletions(-) diff --git a/pom.xml b/pom.xml index 406c009..d66f32f 100644 --- a/pom.xml +++ b/pom.xml @@ -48,7 +48,7 @@ org.clojure test.generative - 0.1.9 + 0.2.0 test diff --git a/test/clojure/test_clojure/data_structures.clj b/test/clojure/test_clojure/data_structures.clj index 0ed283b..1fdd131 100644 --- a/test/clojure/test_clojure/data_structures.clj +++ b/test/clojure/test_clojure/data_structures.clj @@ -10,7 +10,8 @@ (ns clojure.test-clojure.data-structures - (:use clojure.test)) + (:use clojure.test + [clojure.test.generative :exclude (is)])) ;; *** Helper functions *** @@ -19,6 +20,16 @@ (seq (reduce disj (set s1) (set s2)))) +;; *** Generative *** +(defspec subcollection-counts-are-consistent + identity + [^collection coll] + (let [n (count coll)] + (dotimes [i n] + (is (= n + (+ i (count (nthnext coll i))) + (+ i (count (drop i coll)))))))) + ;; *** General *** (defstruct equality-struct :a :b) -- 1.7.3.5