Skip to content
Code Verification CI

mkm: handle array slices properly in read/write #368

Sign in to view logs

mkm: handle array slices properly in read/write

mkm: handle array slices properly in read/write #368

Triggered via push December 21, 2024 01:14
@septractseptract
pushed f2cb2d9
139-feature-verify-test-mkm-module
Status Success
Total duration 10m 49s
Artifacts –

proofs.yml

on: push
mps-verify-cn
10m 39s
mps-verify-cn
mps-verify-frama-c
6m 18s
mps-verify-frama-c
secure-boot-verify-cn
8m 24s
secure-boot-verify-cn
Fit to window
Zoom out
Zoom in