[soundness] fix the frame rule again in instr_ok2 - #2226

[soundness] fix the frame rule again in instr_ok2#2226

zilinc wants to merge 2 commits into

WebAssembly:mainWebAssembly/spec:mainfrom

zilinc:zilinc/fix-instr_ok2zilinc/spectec:zilinc/fix-instr_ok2Copy head branch name to clipboard