search

informalsystems / cosmwasm-to-quint

Semi-automated modelling and Model-Based Testing for CosmWasm contracts
Apache License 2.0
14 stars 1 forks source link

Add CTF 01 example #20

Closed bugarela closed 4 months ago

bugarela commented 4 months ago

Hello :octocat:

This adds a first example to this repo.