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

Some non-actions are being translated as actions #15

Closed bugarela closed 5 months ago

bugarela commented 6 months ago

We need to improve our criteria to determine what are actions