https://github.com/active-group/active-quickcheck2

Active Group's QuickCheck implementation
https://github.com/active-group/active-quickcheck2

Last synced: 4 months ago
JSON representation

Active Group's QuickCheck implementation

• Host: GitHub
• URL: https://github.com/active-group/active-quickcheck2
• Owner: active-group
• License: other
• Created: 2024-02-27T09:35:42.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2025-08-28T07:29:39.000Z (10 months ago)
• Last Synced: 2025-08-28T14:30:27.083Z (10 months ago)
• Language: Clojure
• Size: 50.8 KB
• Stars: 1
• Watchers: 12
• Forks: 1
• Open Issues: 3
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Active QuickCheck2

A Clojure port of the original Haskell QuickCheck, integrated with

[Active Data](https://github.com/active-group/active-data).

(We looked at

[ClojureCheck](https://bitbucket.org/kotarak/clojurecheck),

[`clojure.test.generative`](https://github.com/clojure/test.generative),

but neither seems faithful to the original, particularly concerning

the reproducibility of test runs, and a set of generator combinators

that includes random generation of functions.

[`test.check`](https://github.com/clojure/test.check) is going down

the right path, but it's lacking some features we want, and is moving

too slow for our purposes.

This library, however, is a straighforward port of the Haskell code

from John Hughes's original paper.

## License

Copyright © 2024 Active Group GmbH

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