Skip to content
Code Verification CI

simple example of failable malloc #364

Sign in to view logs

simple example of failable malloc

simple example of failable malloc #364

Triggered via push December 20, 2024 22:47
@peterohanleypeterohanley
pushed 01a3904
139-gus
Status Failure
Total duration 10m 42s
Artifacts –

proofs.yml

on: push
mps-verify-cn
10m 34s
mps-verify-cn
mps-verify-frama-c
6m 20s
mps-verify-frama-c
secure-boot-verify-cn
6m 6s
secure-boot-verify-cn
Fit to window
Zoom out
Zoom in