clr.test.check

A port of clojure/test/check library to ClojureCLR.

From the original's README:

test.check is a Clojure property-based testing tool inspired by QuickCheck. The core idea of test.check is that instead of enumerating expected input and output for unit tests, you write properties about your function that should hold true for all inputs. This lets you write concise, powerful tests

About this fork

A flybot-sg fork of clojure/clr.test.check (David Miller's repo) that runs the suite under Magic via Nostrand.

• master is a clean mirror of upstream. Fork-specific changes never land here, so upstream's master can always be fast-forwarded in.
• The magic branch adds a Nostrand/Magic build harness and GitHub Actions CI on top of upstream. The src/ tree is identical to upstream — no source patches needed against MAGIC v0.2.0.

Magic / Nostrand build (magic branch)

Build via Nostrand:

bb clr-test    # run the test suite on CLR
bb clr-build   # compile production namespaces to .dll

CI runs bb clr-test on push and PR against magic under the pinned ghcr.io/flybot-sg/ci-clj-clr:1.2.0 image, which bundles MAGIC v0.2.0. See .github/workflows/test.yml.

License

Original:

Copyright © Rich Hickey, Reid Draper and contributors

Distributed under the Eclipse Public License, the same as Clojure.