TOP_EARLGREY_IP_FPV Formal FPV Results (Summary)

Wednesday February 28 2024 23:53:53 UTC

GitHub Revision: 32ed2c4230

Branch: HEAD

name pass_rate stimuli_cov coi_cov prove_cov
pinmux_fpv 99.50 78.86 97.74 76.85
pinmux_chip_fpv 99.57 65.30 97.59 62.18
rv_plic_fpv 99.63 71.17 93.32 69.87