Skip to content

Michelson: Add tests for the instruction size model.

Sventimir requested to merge sventimir@test-contract-sizes into master

#3191 (closed). Some large changes recently made to the protocol made out size model for Michelson instructions somewhat less reliable than it used to be. These tests are there to help us keep the model sound and reliable.

NOTE: This MR depends on !5670 (merged), which decreases the in-memory size of Micheline expressions, thus reducing the real size of some instructions. It also depends on !5664 (merged), which fixes a couple of bugs in the size model.

Manually testing the MR

$ dune exec src/proto_alpha/lib_protocol/test/integration/michelson/main.exe -- test "^script typed ir size$"

Checklist

  • Select suitable reviewers using the Reviewers field below.
  • Select as Assignee the next person who should take action on that MR

Merge request reports