search

informalsystems / cosmwasm-to-quint

Semi-automated modelling and Model-Based Testing for CosmWasm contracts
Apache License 2.0
13 stars 1 forks source link

Translate stateless crates #2

Open bugarela opened 4 months ago

bugarela commented 4 months ago

Sometimes, contracts use other non-contract crates as dependencies. We need to

  1. translate those creates to stateless quint modules (with less boilerplate than our current stateful modules)
  2. translate use statements into imports from those modules.
bugarela commented 4 months ago

Idk how to approach this for external dependencies. My best idea now is to advise the user to run our tool for the external crates. So far, I couldn't find a way to automate this - perhaps by trying to vendorize the dependencies and then calling the generator for them?