- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
State-machine testing library for sequential and parallel model-based tests
A state-machine testing library based on QCheck that can generate both sequential and parallel tests against a declarative model.