Michelson: Add tests for the instruction size model.
#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