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

Boilerplate fixes for correct wiring #8

Closed bugarela closed 7 months ago

bugarela commented 7 months ago

Hello :octocat:

I played around with filling the stubs for ctf 01 and 04, and these are some fixes I found.

Closes #5