RVFI - Urgent rvfi trap fix (!820) · Merge requests · OpenHW Group / backup-20241120 / cv32e40p

Eclipse Webmaster requested to merge github/fork/YoannPruvost/dev_urgent_rvfi_fix into dev Jun 22, 2023

Created by: YoannPruvost

Previous PR based trap signaling on minstret csr. When this csr is inhibited, this cause rvfi to signal every instruction as trap, thus not creating any checks. This PR fix this for most test. There might still be some issue but to get everyone working I am issuing this PR anyway

RVFI - Urgent rvfi trap fix

Merge request reports