Skip to content

RVFI - Correcting issue on trace log generation from rvfi

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

Created by: YoannPruvost

This PR improves the log file created from the RVFI interface It does not modify the RVFI behaviour

Merge request reports

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