This is a sub-milestone of %(2023Q3-Q4) Michelson-in-Rust, for the fully featured implementation phase.

This work will be addressed along with other topics in a more vertical way.

Context

This milestone follows the analyzes performed in %(2023Q3) MIR: check TZT test suite exhaustiveness.

Once we find all the missing interpretation tests in TZT, we can complete the test suite.

The missing cases will be reported in a dedicated file of the TZT repository. This is the input of this milestone.

Note that some tests require to specify some values of the context (for instance the block level), and some of these possibilities are missing in TZT. So part of the milestone is to add syntax for these missing features as well.

Finally, we're not trying to fully complete the list of missing tests, but merely to have at least one test per instruction. Corner cases and such are left for the reinforcement phase.

Work break down

Total: 0/? (0%) missing tests implemented.

• Define a sub-list of missing tests that allow to cover each instruction at least once.
• List missing context features in TZT, and propose a syntax to specify each one of them in tests.
• Control structures.
• Stack manipulation.
• Arithmetic operations.
• Boolean operations.
• Operations on data structures.
• Operations on tickets.
• Cryptographic operations.
• Blockchain operations.