Skip to content
Code Verification CI

simple example of failable malloc #365

Sign in to view logs

simple example of failable malloc

simple example of failable malloc #365

Triggered via push December 20, 2024 22:58
@peterohanleypeterohanley
pushed d75f762
139-gus
Status Failure
Total duration 13m 8s
Artifacts –

proofs.yml

on: push
mps-verify-cn
12m 58s
mps-verify-cn
mps-verify-frama-c
6m 14s
mps-verify-frama-c
secure-boot-verify-cn
9m 55s
secure-boot-verify-cn
Fit to window
Zoom out
Zoom in