Generative Testing

string-tests

;; example from ScalaCheck

(ns string-tests
  (:use clojure.test.generative))

(defspec startsWith
  (partial map identity)
  [^string a ^string b]
  (assert (.startsWith (str a b) a)))

(defspec concatenate
  (partial map identity)
  [^string a ^string b]
  (let [s (str a b)]
    (assert (>= (.length s) (.length a)))
    (assert (>= (.length s) (.length b)))))

(defspec substring
  (partial map identity)
  [^string a ^string b ^string c]
  (let [s (str a b c)
        al (.length a)
        bl (.length b)]
    (assert (= b (.substring s al (+ al bl))))))