Fix #1461 Add a reflexivity axiom for $HeapSucc · dafny-lang/dafny@988cabc

Re-run triggered June 4, 2025 21:50

robin-aws

#6260

Status Success

Total duration 2m 53s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

Name	Size	Digest
DafnyRef Expired	1.47 MB	`sha256:c9811694c482cc05e25ae84ecd09a2cd2bec14569c7704754b1ca97f40c95b69`