GitHub - informalsystems/atomkraft: Advanced fuzzing via Model Based Testing for Cosmos blockchains

informalsystems / atomkraft Public

Notifications You must be signed in to change notification settings
Fork 10
Star 77

Advanced fuzzing via Model Based Testing for Cosmos blockchains

Apache-2.0 license

77 stars 10 forks Branches Tags Activity

Notifications

About

Advanced fuzzing via Model Based Testing for Cosmos blockchains

testing blockchain cosmos tlaplus

Apache-2.0 license

Custom properties

Report repository

Releases

Packages

No packages published

Contributors 11

Languages