informalsystems/cosmwasm-to-quint

Some non-actions are being translated as actions

Closed this issue · 0 comments

bugarela commented

We need to improve our criteria to determine what are actions