Proof PR

Improve reasoning for linked lists #3148

Sign in to view logs

Triggered via pull request January 29, 2025 08:29

michaelmcinerney

opened #848

Status Success

Total duration 2h 40m 29s

Artifacts 2

proof.yml

on: pull_request_target

Matrix: MCS

Artifacts

Produced during runtime

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