check.clj

(require '[simple-check.core :as sc])
(require '[simple-check.generators :as gen])
(require '[simple-check.properties :as prop])

(use 'byte-transforms)

(def compression-type (gen/elements ["lz4" "snappy" "gzip" "zlib"]))
  
;; a simple round-trip compression property...
;; for all byte-arrays `b`, compressiong with
;; any compression type and then decompressing with
;; the same type should equal `b`.
(def property
  (prop/for-all [b gen/bytes ;; this generator doesn't exist yet, but will be in simple-check soon
                 comp-type compression-type]
    (= b (-> b (compress comp-type) (decompress comp-type)))))

;; run the test
(sc/quick-check 1000 property)