proxy.golang.org : github.com/informalsystems/modelator : v0.6.3

Model-based testing tool

Registry - Documentation - Download - JSON
purl: pkg:golang/github.com/informalsystems/[email protected]
Published: over 2 years ago
Indexed: over 2 years ago