TOP_EARLGREY_SEC_CM_FPV Formal FPV Results (Summary)

Saturday August 12 2023 18:32:34 UTC

GitHub Revision: 477554cf6

Branch: HEAD

name pass_rate stimuli_cov coi_cov prove_cov
aes_masked_sec_cm 100.00 N/A N/A N/A
aes_unmasked_sec_cm 100.00 N/A N/A N/A
alert_handler_sec_cm 100.00 N/A N/A N/A
clkmgr_sec_cm 100.00 N/A N/A N/A
csrng_sec_cm 100.00 N/A N/A N/A
edn_sec_cm 100.00 N/A N/A N/A
entropy_src_sec_cm 100.00 N/A N/A N/A
flash_ctrl_sec_cm 100.00 N/A N/A N/A
keymgr_sec_cm 100.00 N/A N/A N/A
kmac_sec_cm 100.00 N/A N/A N/A
lc_ctrl_sec_cm 83.33 N/A N/A N/A
otp_ctrl_sec_cm 100.00 N/A N/A N/A
otbn_sec_cm 100.00 N/A N/A N/A
pwrmgr_sec_cm 100.00 N/A N/A N/A
rom_ctrl_sec_cm 100.00 N/A N/A N/A
rstmgr_sec_cm 100.00 N/A N/A N/A
rv_core_ibex_sec_cm 100.00 N/A N/A N/A
sram_ctrl_sec_cm 100.00 N/A N/A N/A
pinmux_sec_cm 100.00 N/A N/A N/A
rv_plic_sec_cm 100.00 N/A N/A N/A
lc_ctrl_sec_cm_fsm 100.00 N/A N/A N/A
rom_ctrl_sec_cm_fsm 100.00 N/A N/A N/A
keymgr_sec_cm_fsm 100.00 N/A N/A N/A
pwrmgr_esc_unstoppable 50.00 N/A N/A N/A