Skip to content

irq_control_get_trigger: change trigger to bool #484

irq_control_get_trigger: change trigger to bool

irq_control_get_trigger: change trigger to bool #484

Check Kani proofs

succeeded Jul 25, 2024 in 4m 12s