TOP_EARLGREY_IP_FPV Formal FPV Results (Summary)

Saturday April 20 2024 18:32:17 UTC

GitHub Revision: 4fd94db59a

Branch: HEAD

name	pass_rate	stimuli_cov	coi_cov	prove_cov
pinmux_fpv	N/A	N/A	N/A	N/A
pinmux_chip_fpv	N/A	N/A	N/A	N/A
rv_plic_fpv	100.00	77.04	93.32	76.02