https://github.com/jmid/qc-ptrees
A model-based QuickCheck test of ptrees (Patricia trees)
https://github.com/jmid/qc-ptrees
model-based-testing ocaml patricia-tree property-based-testing quickcheck
Last synced: 7 months ago
JSON representation
A model-based QuickCheck test of ptrees (Patricia trees)
- Host: GitHub
- URL: https://github.com/jmid/qc-ptrees
- Owner: jmid
- License: bsd-2-clause
- Created: 2017-05-03T10:24:56.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2019-07-15T07:29:14.000Z (almost 6 years ago)
- Last Synced: 2024-03-15T19:14:26.105Z (over 1 year ago)
- Topics: model-based-testing, ocaml, patricia-tree, property-based-testing, quickcheck
- Language: OCaml
- Homepage:
- Size: 113 KB
- Stars: 11
- Watchers: 5
- Forks: 2
- Open Issues: 0