nl.jomco.proof-specs
-mainclj
(-main & args)Run proof-specs from CLI arguments.
Example
lein run -m nl.jomco.proof-spec-gen --num-vals 10 \
--include-regexps '.*nl.jomco.*' \
--require-namespaces nl.jomco.proof-spec-gen
Leading dashes -- are optional for each argument. include-regexps,
exclude-regexps and require-namespaces take a comma-separated
string.
Will print a report to STDOUT and exit. Status code will be 1 if problems are found, 0 otherwise.
Run [[proof-specs]] from CLI arguments.
Example
```
lein run -m nl.jomco.proof-spec-gen --num-vals 10 \
--include-regexps '.*nl.jomco.*' \
--require-namespaces nl.jomco.proof-spec-gen
```
Leading dashes `--` are optional for each argument. include-regexps,
exclude-regexps and require-namespaces take a comma-separated
string.
Will print a report to STDOUT and exit. Status code will be 1 if
problems are found, 0 otherwise.proof-specsclj
(proof-specs
&
{:keys [num-vals require-namespaces] :as selector :or {num-vals 10}})Check data specs in the selected namespaces.
Exercises each keyword spec and reports on problems generating data.
Namespace selection happens by optional kw args :include-regexps
and :exclude-regexps. If both args are empty, selects all loaded
specs. See also [[select-specs]].
If argument :require-namespaces is provided, requires those
namsepaces prior to testing the specs.
If :num-vals is provided, attempts to generate that many values
from each spec (default is 10).
Returns a map of
- :specs - the collection of all specs checked
- :problems - a collections of problems, if any problems are found
Problems are maps of the problematic spec's key to the exception thrown when generating data for the spec.
Check data specs in the selected namespaces. Exercises each keyword spec and reports on problems generating data. Namespace selection happens by optional kw args `:include-regexps` and `:exclude-regexps`. If both args are empty, selects all loaded specs. See also [[select-specs]]. If argument `:require-namespaces` is provided, requires those namsepaces prior to testing the specs. If `:num-vals` is provided, attempts to generate that many values from each spec (default is 10). Returns a map of - :specs - the collection of all specs checked - :problems - a collections of problems, if any problems are found Problems are maps of the problematic spec's key to the exception thrown when generating data for the spec.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close