fix(rt): add fallback for zero-sized constants in operand decoding - #821

fix(rt): add fallback for zero-sized constants in operand decoding#821

Stevengre wants to merge 1 commit into

masterruntimeverification/mir-semantics:masterfrom

jh/zero-sized-constantruntimeverification/mir-semantics:jh/zero-sized-constantCopy head branch name to clipboard