Skip to content
Build DafnyRef.pdf

Function alloc soundness fix #19193

Sign in to view logs

Function alloc soundness fix

Function alloc soundness fix #19193

Triggered via pull request January 6, 2025 16:12
@typerSnipertyperSniper
opened #6018
typerSniper:function-alloc-soundness-fix
Status Failure
Total duration 1m 29s
Artifacts –

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

Annotations

3 errors and 1 warning
build-refman (ubuntu-22.04): Source/DafnyCore/Verifier/BoogieGenerator.ExpressionTranslator.cs#L2172
; expected
build-refman (ubuntu-22.04): Source/DafnyCore/Verifier/BoogieGenerator.ExpressionTranslator.cs#L2172
; expected
build-refman (ubuntu-22.04)
Process completed with exit code 1.
build-refman (ubuntu-22.04)
No files were found with the provided path: dafny/docs/DafnyRef/DafnyRef.pdf. No artifacts will be uploaded.