fix(formal): repair RVFI retire and memory fault reporting#6

qinhan2373 wants to merge 1 commit into

wp-17:v2.x-devwp-17/CL1_Core:v2.x-devfrom

qinhan2373:backport/pr5-rvfi-retire-faultqinhan2373/CL1_Core:backport/pr5-rvfi-retire-faultCopy head branch name to clipboard