https://github.com/tmcgilchrist/ocaml-jack
QuickCheck with shrinking for free
https://github.com/tmcgilchrist/ocaml-jack
ocaml property-based-testing property-testing quickcheck test testing
Last synced: 8 months ago
JSON representation
QuickCheck with shrinking for free
- Host: GitHub
- URL: https://github.com/tmcgilchrist/ocaml-jack
- Owner: tmcgilchrist
- License: bsd-3-clause
- Created: 2016-10-06T06:08:17.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2021-02-08T20:57:52.000Z (about 5 years ago)
- Last Synced: 2025-01-21T23:50:22.570Z (about 1 year ago)
- Topics: ocaml, property-based-testing, property-testing, quickcheck, test, testing
- Language: OCaml
- Homepage:
- Size: 60.5 KB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
ocaml-jack - Jack is an alternative to QuickCheck generators / shrinking.
=========================================================================
Under development come back later.
Setup OCaml compiler
``` shell
opam switch install 4.03.0-jack --alias-of 4.03.0
eval `opam config env`
```
Install dependencies
``` shell
jbuilder external-lib-deps --missing @runtest
# prints out the opam command to install everything
```
Build
``` shell
jbuilder build
```
Run tests
``` shell
jbuilder runtest
```
Resources
=========================================================================