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: about 1 month 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 (over 7 years ago)
• Default Branch: master
• Last Pushed: 2019-07-15T07:29:14.000Z (over 5 years ago)
• Last Synced: 2024-03-15T19:14:26.105Z (10 months 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

Awesome Lists containing this project