TOP_EARLGREY_IP_FPV Formal FPV Results (Summary)

Sunday March 26 2023 02:49:03 UTC

GitHub Revision: 8b50eb41f

Branch: master

name pass_rate stimuli_cov coi_cov prove_cov
pinmux_fpv 98.60 81.63 97.74 79.92
pinmux_chip_fpv 98.81 78.28 97.58 76.37
rv_plic_fpv 100.00 77.12 93.48 76.12