Self address packing
Description
Reference implementation treats packed addresses produced from SELF
and SELF %default
calls the same.
However, our interpreter doesn't
Steps to reproduce
Take the following contract and run it with morley:
parameter unit;
storage unit;
code {
DROP;
SELF %default; PACK; SELF; PACK; ASSERT_CMPEQ;
UNIT;
NIL operation;
PAIR;
}
stack exec -- morley run --contract test.tz --parameter "Unit" --storage "Unit"
Expected behaviour
Successful contract run.
Actual behaviour
morley: Michelson interpreter failed for contract KT1WkhARBbUfp1fpSR62guz64QWroKLKbbvY: <RuntimeFailure: (Reached FAILWITH instruction with Unit, [])>
Environment
- NixOS 20.03 stack built binary
- 5adfeb0c
Edited by Roman Melnikov