Skip to content

[#298] Interpreter reference testing

Roman Melnikov requested to merge rvem/#298-interpreter-reference-testing into master

Description

Add a test that runs all well-typed .tz contracts from contracts/ directory that doesn't have bigmaps in the storage type (this limitation caused by bigmap handling in run_code RPC endpoint, bigmaps updates are handled separately and it's quite hard to support proper storage update) on arbitrary parameter and storage using our interpreter and reference interpreter (via using run_code RPC endpoint).

Currently WIP and based on !547 (merged).

Currently based on !554 (merged)

Follow-up issues created based on the changes from this MR:

Currently, the only left TODO is to improve error comparison

Related issue(s)

Resolves #298 (closed)

Checklist for your Merge Request

Related changes (conditional)

  • Tests (see short guidelines)

    • If I added new functionality, I added tests covering it.
    • If I fixed a bug, I added a regression test to prevent the bug from silently reappearing again.
  • Documentation

    • I checked whether I should update the docs and did so if necessary:
    • I updated changelog files of all affected packages released to Hackage if my changes are externally visible.

Stylistic guide (mandatory)

Edited by Roman Melnikov

Merge request reports