Update bank balances in `execute_message`

informalsystems / cosmwasm-to-quint

Semi-automated modelling and Model-Based Testing for CosmWasm contracts

Apache License 2.0

14 stars 1 forks source link

Update bank balances in `execute_message` #5

Closed bugarela closed 7 months ago

bugarela commented 7 months ago

Ivan and Jan noticed this problem: we are checking that a user has funds before creating a message with funds, but we never update the bank to actually remove those funds from the user.