informalsystems/cosmwasm-to-quint

Semi-automated modelling and Model-Based Testing for CosmWasm contracts

语言：Rust · GitHub 星标：18 · Fork：0

话题：cosmwasm · model-based-testing

在 GitHub 上查看原仓库