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

Increment translation #7

Closed bugarela closed 7 months ago

bugarela commented 7 months ago

Hello :octocat:

Here are some increments I've made in the past couple of days to increase "coverage" of translation. The current version works for ctfs: 01, 02, 04 and 09.