Skip to content
deep-checks

deep-checks #122

Sign in to view logs

deep-checks

deep-checks #122

Triggered via schedule September 13, 2026 10:35
@TheMaxMurTheMaxMur
⁠ 2b001b7
main
Status Success
Total duration 2h 7m 50s
Artifacts –

deep-checks.yml

on: schedule
fuzz-coverage
fuzz-coverage
repro
0s
repro
coverage
0s
coverage
comutants
17m 53s
comutants
formal
1h 13m
formal
Matrix: fuzz
Matrix: kani
Matrix: miri
Matrix: mutants
Fit to window
Zoom out
Zoom in

Annotations

120 warnings
Missed mutant: crates/rsk-openpgp/src/dobj.rs#L295
replace & with ^ in DoWriter<'a, S>::emit_sec_tpl
Missed mutant: crates/rsk-openpgp/src/dobj.rs#L298
replace & with | in DoWriter<'a, S>::emit_sec_tpl
Missed mutant: crates/rsk-openpgp/src/dobj.rs#L295
replace & with | in DoWriter<'a, S>::emit_sec_tpl
Missed mutant: crates/rsk-openpgp/src/dobj.rs#L294
replace DoWriter<'a, S>::emit_sec_tpl -> usize with 1
Missed mutant: crates/rsk-openpgp/src/dobj.rs#L294
replace DoWriter<'a, S>::emit_sec_tpl -> usize with 0
Missed mutant: crates/rsk-openpgp/src/dobj.rs#L249
replace >> with << in DoWriter<'a, S>::constructed
Missed mutant: crates/rsk-openpgp/src/dobj.rs#L248
replace - with + in DoWriter<'a, S>::constructed
Missed mutant: crates/rsk-openpgp/src/dobj.rs#L248
replace - with / in DoWriter<'a, S>::constructed
Missed mutant: crates/rsk-openpgp/src/dobj.rs#L248
replace - with + in DoWriter<'a, S>::constructed
Missed mutant: crates/rsk-openpgp/src/dobj.rs#L246
replace += with *= in DoWriter<'a, S>::constructed
Missed mutant: crates/rsk-ui/src/render/applets.rs#L665
replace - with + in render_oath_cred
Missed mutant: crates/rsk-ui/src/render/applets.rs#L628
replace + with * in render_oath_cred
Missed mutant: crates/rsk-ui/src/render/applets.rs#L600
replace - with / in oath_body
Missed mutant: crates/rsk-ui/src/render/applets.rs#L600
replace - with + in oath_body
Missed mutant: crates/rsk-ui/src/render/applets.rs#L594
replace > with >= in oath_body
Missed mutant: crates/rsk-ui/src/render/applets.rs#L594
replace > with < in oath_body
Missed mutant: crates/rsk-ui/src/render/applets.rs#L594
replace > with == in oath_body
Missed mutant: crates/rsk-ui/src/render/applets.rs#L561
replace - with / in oath_body
Missed mutant: crates/rsk-ui/src/render/applets.rs#L561
replace - with + in oath_body
Missed mutant: crates/rsk-ui/src/render/applets.rs#L490
replace + with * in render_piv_slot
Missed mutant: crates/rsk-piv/src/seal.rs#L236
replace * with + in load_rsa_key
Missed mutant: crates/rsk-piv/src/seal.rs#L175
replace < with <= in load_ec_key
Missed mutant: crates/rsk-piv/src/seal.rs#L175
replace < with == in load_ec_key
Missed mutant: crates/rsk-piv/src/seal.rs#L172
replace + with * in load_ec_key
Missed mutant: crates/rsk-piv/src/seal.rs#L162
replace + with * in store_ec_key
Missed mutant: crates/rsk-piv/src/seal.rs#L56
replace > with >= in seal_put
Missed mutant: crates/rsk-piv/src/seal.rs#L56
replace > with == in seal_put
Missed mutant: crates/rsk-piv/src/seal.rs#L35
replace + with *
Missed mutant: crates/rsk-piv/src/seal.rs#L35
replace + with *
Missed mutant: crates/rsk-piv/src/seal.rs#L35
replace + with -
Missed mutant: crates/rsk-mldsa/src/pack.rs#L114
replace > with == in hint_bit_unpack
Missed mutant: crates/rsk-mldsa/src/pack.rs#L114
replace || with && in hint_bit_unpack
Missed mutant: crates/rsk-mldsa/src/pack.rs#L75
replace && with || in bit_unpack
Missed mutant: crates/rsk-mldsa/src/pack.rs#L74
replace << with >> in bit_unpack
Missed mutant: crates/rsk-mldsa/src/pack.rs#L74
replace - with + in bit_unpack
Missed mutant: crates/rsk-mldsa/src/pack.rs#L74
replace + with * in bit_unpack
Missed mutant: crates/rsk-mldsa/src/pack.rs#L74
replace + with - in bit_unpack
Missed mutant: crates/rsk-mldsa/src/ntt.rs#L26
replace < with <= in gen_zeta_table_mont
Missed mutant: crates/rsk-mldsa/src/encode.rs#L147
replace - with / in w1_encode
Missed mutant: crates/rsk-mldsa/src/encode.rs#L147
replace - with + in w1_encode
Missed mutant: crates/rsk-ui/src/scene.rs#L405
replace < with == in Scene::encode_raster
Missed mutant: crates/rsk-ui/src/scene.rs#L405
replace < with > in Scene::encode_raster
Missed mutant: crates/rsk-ui/src/scene.rs#L430
replace || with && in Scene::push_raster
Missed mutant: crates/rsk-ui/src/scene.rs#L405
replace >= with < in Scene::encode_raster
Missed mutant: crates/rsk-ui/src/scene.rs#L405
replace < with <= in Scene::encode_raster
Missed mutant: crates/rsk-ui/src/scene.rs#L405
replace < with > in Scene::encode_raster
Missed mutant: crates/rsk-ui/src/scene.rs#L405
replace < with == in Scene::encode_raster
Missed mutant: crates/rsk-ui/src/scene.rs#L405
replace >= with < in Scene::encode_raster
Missed mutant: crates/rsk-ui/src/scene.rs#L405
replace < with <= in Scene::encode_raster
Missed mutant: crates/rsk-ui/src/scene.rs#L405
replace || with && in Scene::encode_raster
Missed mutant: crates/rsk-sdk/src/tlv.rs#L39
replace += with -= in <impl Iterator for Tlv<'a>>::next
Missed mutant: crates/rsk-sdk/src/tlv.rs#L44
replace += with -= in <impl Iterator for Tlv<'a>>::next
Missed mutant: crates/rsk-sdk/src/tlv.rs#L38
replace + with * in <impl Iterator for Tlv<'a>>::next
Missed mutant: crates/rsk-sdk/src/tlv.rs#L38
replace + with - in <impl Iterator for Tlv<'a>>::next
Missed mutant: crates/rsk-sdk/src/tlv.rs#L38
replace << with >> in <impl Iterator for Tlv<'a>>::next
Missed mutant: crates/rsk-sdk/src/tlv.rs#L38
replace | with ^ in <impl Iterator for Tlv<'a>>::next
Missed mutant: crates/rsk-sdk/src/tlv.rs#L38
replace | with & in <impl Iterator for Tlv<'a>>::next
Missed mutant: crates/rsk-sdk/src/tlv.rs#L31
replace | with ^ in <impl Iterator for Tlv<'a>>::next
Missed mutant: crates/rsk-sdk/src/sw.rs#L48
replace | with ^ in Sw::retries
Missed mutant: crates/rsk-sdk/src/sw.rs#L43
replace > with >= in Sw::retries
Missed mutant: crates/rsk-otp/src/lib.rs#L582
replace | with & in OtpApplet<'a>::cmd_status_ext
Missed mutant: crates/rsk-otp/src/lib.rs#L580
replace & with ^ in OtpApplet<'a>::cmd_status_ext
Missed mutant: crates/rsk-otp/src/lib.rs#L580
replace & with | in OtpApplet<'a>::cmd_status_ext
Missed mutant: crates/rsk-otp/src/lib.rs#L580
replace & with ^ in OtpApplet<'a>::cmd_status_ext
Missed mutant: crates/rsk-otp/src/lib.rs#L580
replace != with == in OtpApplet<'a>::cmd_status_ext
Missed mutant: crates/rsk-otp/src/lib.rs#L580
replace & with | in OtpApplet<'a>::cmd_status_ext
Missed mutant: crates/rsk-otp/src/lib.rs#L580
replace != with == in OtpApplet<'a>::cmd_status_ext
Missed mutant: crates/rsk-otp/src/lib.rs#L580
replace && with || in OtpApplet<'a>::cmd_status_ext
Missed mutant: crates/rsk-otp/src/lib.rs#L581
replace && with || in OtpApplet<'a>::cmd_status_ext
Missed mutant: crates/rsk-otp/src/lib.rs#L582
replace && with || in OtpApplet<'a>::cmd_status_ext
Missed mutant: crates/rsk-fido/src/u2f.rs#L150
replace + with * in cmd_register
Missed mutant: crates/rsk-fido/src/u2f.rs#L150
replace + with * in cmd_register
Missed mutant: crates/rsk-fido/src/state.rs#L670
replace <impl Drop for FidoState>::drop with ()
Missed mutant: crates/rsk-fido/src/state.rs#L640
replace FidoState::user_present -> bool with false
Missed mutant: crates/rsk-fido/src/state.rs#L234
replace LargeBlobState::in_flight -> bool with true
Missed mutant: crates/rsk-fido/src/state.rs#L186
replace <= with > in CredMgmtState::walking
Missed mutant: crates/rsk-fido/src/state.rs#L186
replace CredMgmtState::walking -> bool with true
Missed mutant: crates/rsk-fido/src/seed.rs#L670
replace > with >= in set_cred_sign_counter
Missed mutant: crates/rsk-fido/src/seed.rs#L670
replace > with == in set_cred_sign_counter
Missed mutant: crates/rsk-fido/src/seed.rs#L633
replace * with +
Missed mutant: crates/rsk-fido/src/credmgmt.rs#L311
replace > with >= in payload_with_subpara
Missed mutant: crates/rsk-fido/src/credmgmt.rs#L311
replace > with == in payload_with_subpara
Missed mutant: crates/rsk-fido/src/credmgmt.rs#L213
replace + with * in cred_mgmt
Missed mutant: crates/rsk-fido/src/credmgmt.rs#L201
replace + with * in cred_mgmt
Missed mutant: crates/rsk-fido/src/credmgmt.rs#L190
replace + with * in cred_mgmt
Missed mutant: crates/rsk-fido/src/credmgmt.rs#L128
delete match arm "displayName" in parse_subpara
Missed mutant: crates/rsk-fido/src/credmgmt.rs#L112
delete match arm "transports" in parse_subpara
Missed mutant: crates/rsk-fido/src/credential.rs#L1077
replace < with <= in migrate_rp_seal
Missed mutant: crates/rsk-fido/src/credential.rs#L1077
replace < with == in migrate_rp_seal
Missed mutant: crates/rsk-fido/src/credential.rs#L1072
replace + with - in migrate_rp_seal
Missed mutant: crates/rsk-display/src/settings.rs#L189
replace || with && in Ui<'a, P, T, H, S, R>::run_settings
Missed mutant: crates/rsk-display/src/settings.rs#L182
replace >= with < in Ui<'a, P, T, H, S, R>::run_settings
Missed mutant: crates/rsk-display/src/settings.rs#L182
replace || with && in Ui<'a, P, T, H, S, R>::run_settings
Missed mutant: crates/rsk-display/src/settings.rs#L182
replace && with || in Ui<'a, P, T, H, S, R>::run_settings
Missed mutant: crates/rsk-display/src/settings.rs#L91
replace Ui<'a, P, T, H, S, R>::render_settings with ()
Missed mutant: crates/rsk-display/src/settings.rs#L126
replace Ui<'a, P, T, H, S, R>::run_settings -> Option<NavTab> with None
Missed mutant: crates/rsk-display/src/settings.rs#L103
replace / with * in Ui<'a, P, T, H, S, R>::render_settings
Missed mutant: crates/rsk-display/src/settings.rs#L103
replace / with % in Ui<'a, P, T, H, S, R>::render_settings
Missed mutant: crates/rsk-display/src/settings.rs#L102
replace / with * in Ui<'a, P, T, H, S, R>::render_settings
Missed mutant: crates/rsk-display/src/settings.rs#L102
replace / with % in Ui<'a, P, T, H, S, R>::render_settings
Missed mutant: crates/rsk-crypto/src/base64url.rs#L14
replace encoded_len -> usize with 0
Missed mutant: crates/rsk-crypto/src/aes.rs#L84
delete match arm (Mode::Cfb, 24) in aes_decrypt
Missed mutant: crates/rsk-crypto/src/aes.rs#L83
delete match arm (Mode::Cfb, 16) in aes_decrypt
Missed mutant: crates/rsk-crypto/src/aes.rs#L81
delete match arm (Mode::Cbc, 24) in aes_decrypt
Missed mutant: crates/rsk-crypto/src/aes.rs#L80
delete match arm (Mode::Cbc, 16) in aes_decrypt
Missed mutant: crates/rsk-crypto/src/aes.rs#L71
delete match arm (Mode::Cfb, 24) in aes_encrypt
Missed mutant: crates/rsk-crypto/src/aes.rs#L70
delete match arm (Mode::Cfb, 16) in aes_encrypt
Missed mutant: crates/rsk-crypto/src/aes.rs#L68
delete match arm (Mode::Cbc, 24) in aes_encrypt
Missed mutant: crates/rsk-crypto/src/aes.rs#L67
delete match arm (Mode::Cbc, 16) in aes_encrypt
Missed mutant: crates/rsk-bip39/src/lib.rs#L49
replace | with ^ in pack_indices
Missed mutant: crates/rsk-ui/src/aa.rs#L411
replace || with && in fixed_rounded_coverage
Missed mutant: crates/rsk-ui/src/aa.rs#L406
replace * with / in fixed_rounded_coverage
Missed mutant: crates/rsk-ui/src/aa.rs#L406
replace * with + in fixed_rounded_coverage
Missed mutant: crates/rsk-ui/src/aa.rs#L397
replace || with && in fixed_rounded_coverage
Missed mutant: crates/rsk-ui/src/aa.rs#L392
replace * with / in fixed_round_supported
Missed mutant: crates/rsk-ui/src/aa.rs#L392
replace * with + in fixed_round_supported
Missed mutant: crates/rsk-ui/src/aa.rs#L392
replace * with / in fixed_round_supported
Missed mutant: crates/rsk-ui/src/aa.rs#L392
replace * with + in fixed_round_supported
Missed mutant: crates/rsk-ui/src/aa.rs#L392
replace && with || in fixed_round_supported
Missed mutant: crates/rsk-ui/src/aa.rs#L388
replace > with >= in fixed_round_supported