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: 7 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 7 years ago)
• Default Branch: master
• Last Pushed: 2021-09-24T03:00:01.000Z (over 4 years ago)
• Last Synced: 2024-11-14T16:45:04.166Z (over 1 year 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)