Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/jmid/qcstm
A simple state-machine framework for OCaml based on QCheck
https://github.com/jmid/qcstm
ocaml property-based-testing quickcheck
Last synced: about 2 months ago
JSON representation
A simple state-machine framework for OCaml based on QCheck
- Host: GitHub
- URL: https://github.com/jmid/qcstm
- Owner: jmid
- License: bsd-2-clause
- Created: 2019-03-11T13:31:03.000Z (almost 6 years ago)
- Default Branch: master
- Last Pushed: 2021-09-24T03:00:01.000Z (over 3 years ago)
- Last Synced: 2024-11-14T16:45:04.166Z (2 months ago)
- Topics: ocaml, property-based-testing, quickcheck
- Language: OCaml
- Homepage:
- Size: 41 KB
- Stars: 65
- Watchers: 8
- Forks: 6
- Open Issues: 3
Awesome Lists containing this project
- awesome-list - qcstm - machine framework for OCaml based on QCheck | jmid | 54 | (OCaml)