Is the current RVFI implementation compliant to the RVFI spec for minstret and mcycle?

Created by: Silabs-ArjanB

Is the current RVFI implementation compliant to https://github.com/SymbioticEDA/riscv-formal/blob/master/docs/csrs.md with respect to when mcycle and minstret are updated? If not, please document the actual implemented behavior in the user manual.