informalsystems/cosmwasm-to-quint

Include `instantiate` actions in the state machine

Closed this issue · 0 comments

bugarela commented

Currently, we are ignoring instantiate actions/messages