Proof PR

Improve reasoning for linked lists #3159

Sign in to view logs

Triggered via pull request February 12, 2025 00:39

michaelmcinerney

synchronize #848

Status Success

Total duration 2h 35m 19s

Artifacts 2

proof.yml

on: pull_request_target

Matrix: MCS

Artifacts

Produced during runtime

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