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

Include `instantiate` actions in the state machine #3

Closed bugarela closed 4 months ago

bugarela commented 7 months ago

Currently, we are ignoring instantiate actions/messages