Skip to content
Sentry kernel proof with Frama-C

doc: full description of interrupts and DMA subsystems #421

Sign in to view logs

doc: full description of interrupts and DMA subsystems

doc: full description of interrupts and DMA subsystems #421

Triggered via pull request November 20, 2024 09:15
@pthierry-ledgerpthierry-ledger
synchronize #90
pthierry-ledger:it-doc
Status Success
Total duration 8m 9s
Artifacts –

proof.yml

on: pull_request
run_framac
7m 59s
run_framac
Fit to window
Zoom out
Zoom in