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