jmid/qcstm

A simple state-machine framework for OCaml based on QCheck

语言：OCaml · GitHub 星标：66 · Fork：6

话题：ocaml · property-based-testing · quickcheck

在 GitHub 上查看原仓库