nl.jomco.proof-specs
-mainclj
(-main & args)Run proof-specs from CLI arguments.
Run with --help for a report on all available options.
Example
lein run -m nl.jomco.proof-specs --num-vals 10 \
--include '.*nl.jomco.*' \
--require nl.jomco.proof-specs
--include, --exclude and --require can be specified multiple times.
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.
Run with --help for a report on all available options.
Example
```
lein run -m nl.jomco.proof-specs --num-vals 10 \
--include '.*nl.jomco.*' \
--require nl.jomco.proof-specs
```
--include, --exclude and --require can be specified multiple times.
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 verbose limit-ms]
:as selector
:or {num-vals 10 limit-ms 100}})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 and
:exclude, taking collections of regular expressions that match the
names of the namespaces. If both args are empty, selects all loaded
specs.
If argument :require is provided, requires those namespaces prior
to testing the specs.
If :num-vals is provided, attempts to generate that many values
from each spec (default is 10).
If :verbose is provided and true, log to STDERR while proofing.
If more than :limit-ms have elapsed while generating values for a
spec, this is reported as a problem. Default is 100 milliseconds.
Returns a map of
- :specs - a collection of all specs checked
- :problems - map of problems, if any problems are found
Problems is a map 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` and `:exclude`, taking collections of regular expressions that match the names of the namespaces. If both args are empty, selects all loaded specs. If argument `:require` is provided, requires those namespaces prior to testing the specs. If `:num-vals` is provided, attempts to generate that many values from each spec (default is 10). If `:verbose` is provided and true, log to STDERR while proofing. If more than `:limit-ms` have elapsed while generating values for a spec, this is reported as a problem. Default is 100 milliseconds. Returns a map of - :specs - a collection of all specs checked - :problems - map of problems, if any problems are found Problems is a map 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