alysbrooks-public » project-checkup

Location: alysbrooks-public/project-checkup/test/project_checkup/core_property_test.clj

Show More
Commit Description:
Add TODO and update .hgignore.
Commit Description:
Add TODO and update .hgignore.
References:
r25:eafc83e1eb6f default
File last commit:
r8:676f2fad6ede default
Show/Diff file:
Action:
test/project_checkup/core_property_test.clj
27 lines | 849 B | text/x-clojure | ClojureLexer
History | Annotation | Raw | Download
(ns project-checkup.core-property-test
(:gen-class)
(:require [clojure.test :refer :all]
[project-checkup.core :refer :all]
[clojure.test.check :as tc]
[clojure.test.check.generators :as gen]
[clojure.test.check.properties :as prop]
[clojure.test.check.clojure-test :refer :all]))
;arguably redundant
(defspec get-extension-returns-string
100
(prop/for-all [st (gen/not-empty gen/string-ascii)
ext (gen/not-empty gen/string-alphanumeric) ]
(string? (get-extension (str st \. ext ))) ))
(defspec get-extension-returns-extension
100
(prop/for-all [st (gen/not-empty gen/string-ascii)
ext (gen/not-empty gen/string-alphanumeric) ]
(= (get-extension (str st \. ext ))
(str \. ext)) ))