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

Rename quint keywords #11

Closed bugarela closed 3 months ago

bugarela commented 7 months ago

Some quint keywords (like action) are not keywords in rust, so we have to be careful to not translate them directly as normal names.

My idea is to add a postfix _ (action_)