search

tqtezos / stablecoin

Tezos stablecoin smart contract
MIT License
31 stars 13 forks source link

Research LIGO with regards to tests and data layout in Michelson #17

Closed gromakovsky closed 4 years ago

gromakovsky commented 4 years ago

Clarification and Motivation

We'd like to learn some things about LIGO:

  1. What's the best/recommended way to write tests for contracts?
  2. How can we define a data type that will have a certain type in Michelson. That's important to implement smart contracts that adhere to a certain standard, e. g. FA2. Apparently, LIGO does not guarantee any order even for types of 2 elements.

Acceptance criteria

  1. Research these topics yourself a bit.
  2. Ask about these questions in #ligo in tezos-dev Slack to be sure we know the right answers and to add chances that LIGO developers will prioritize it.
awkure commented 4 years ago

I believe we can close this issue

gromakovsky commented 4 years ago

We still have an unresolved question about printing lambdas from ligo code.

gromakovsky commented 4 years ago

Oh wait, I confused it with #15. Yes, we can close this one. The answers are:

  1. There is no good way to tests contract offered by LIGO developers.
  2. For layout we are already using this feature: https://gitlab.com/ligolang/ligo/-/merge_requests/585