Skip to content

RVFI - Correcting rvfi trace commit in some corner cases

Eclipse Webmaster requested to merge github/fork/YoannPruvost/dev_ypr_better_rvfi_commit into dev

Created by: YoannPruvost

This PR corrects 2 things in RVFI:

  • It removes an expired workaround to handle ebreak
  • It only flag an instruction as illegal if the core is decoding

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent