Hi Reid,
This is excellent. Just experimenting and trying to get my head around it. 
Not sure if I'm doing any wrong or stupid!! If I test a function that 
relies on Exception handling internally as I reach 100 tests it takes 
forever and eventually blows the heap.

Simple contrived example:

(ns check
  (:require [clojure.test.check :as tc]
            [clojure.test.check.generators :as gen]
            [clojure.test.check.properties :as prop]
            ))

(defn format1 [x]
  (try
    (->> (double x)
      (format "%,.0f"))
    (catch Exception e "")))

(def prop1
  (prop/for-all [v gen/any]
    (string? (format1 v))))

#_ (tc/quick-check 100 prop1) ;; blows heap

Thanks,
Andrew

On Thursday, 27 February 2014 17:22:44 UTC, Reid Draper wrote:
>
> I'm happy to announce the first release of the newest Clojure contrib 
> library:
> test.check [1]. Previously named simple-check [1], test.check is a
> property-based testing library, based on QuickCheck. The README has a 
> guide for
> migrating from simple-check, as well as some getting-started 
> documentation. I'm
> happy to answer any questions here as well. Or, stop by my Clojure/West 
> talk in
> March.
>
> [1] https://github.com/clojure/test.check
> [2] https://github.com/reiddraper/simple-check
>
>

-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
--- 
You received this message because you are subscribed to the Google Groups 
"Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to