Graphical models for Quickcheck
summary
A new web-based tool for Erlang QuickCheck that lets users build and edit state-machine test models graphically, showing allowed API calls and transitions. It generates and updates the corresponding Erlang QuickCheck code so models can be run immediately to produce tests, observe failures, and inspect API-call distributions from test suites.
AI-written summary · about
