Proof PR

Improve reasoning for linked lists #3158

Sign in to view logs

Triggered via pull request February 12, 2025 00:24

michaelmcinerney

synchronize #848

Status Success

Total duration 2h 38m 24s

Artifacts 2

proof.yml

on: pull_request_target

Matrix: MCS

Artifacts

Produced during runtime

Name	Size
logs-ARM	103 MB
logs-RISCV64	156 MB