Skip to content
Build DafnyRef.pdf

Fix #1461 Add a reflexivity axiom for $HeapSucc #20104

Sign in to view logs

Fix #1461 Add a reflexivity axiom for $HeapSucc

Fix #1461 Add a reflexivity axiom for $HeapSucc #20104

Triggered via pull request June 10, 2025 20:25
@samuelchassotsamuelchassot
synchronize #6260
samuelchassot:sam/fix1461
Status Success
Total duration 2m 50s
Artifacts 1

refman.yml

on: pull_request
check-deep-tests  /  check-deep-tests
7s
check-deep-tests / check-deep-tests
Matrix: build-refman
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
DafnyRef Expired
1.47 MB
sha256:54a05229fae5759d0d0a9d3cab9103b9c184cf9eb12c619a36c8d632fe3652c3