TOP_EARLGREY_IP_FPV Formal FPV Results (Summary)
Saturday July 20 2024 18:32:21 UTC
GitHub Revision:
e971cd9798
Branch: HEAD
name
pass_rate
formal_cov
stimuli_cov
checker_cov
pinmux_fpv
99.46
69.00
97.61
66.27
pinmux_chip_fpv
98.71
70.60
97.61
68.01
rv_plic_fpv
100.00
77.16
93.54
76.16