Skip to content
Build DafnyRef.pdf

Fix NRE and add test #17978

Sign in to view logs

Fix NRE and add test

Fix NRE and add test #17978

Triggered via pull request July 30, 2024 13:30
@keyboardDrummerkeyboardDrummer
synchronize #5655
keyboardDrummer:fixNRELegacyDataConstructors
Status Success
Total duration 3m 24s
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

Annotations

10 warnings
build-refman (ubuntu-22.04): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1576
This label has not been referenced
build-refman (ubuntu-22.04): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2139
This label has not been referenced
build-refman (ubuntu-22.04): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2450
This label has not been referenced
build-refman (ubuntu-22.04): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?
build-refman (ubuntu-22.04): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3439
Unreachable code detected
build-refman (ubuntu-22.04): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3485
Unreachable code detected
build-refman (ubuntu-22.04): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3528
Unreachable code detected
build-refman (ubuntu-22.04): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3548
Unreachable code detected
build-refman (ubuntu-22.04): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3569
Unreachable code detected
build-refman (ubuntu-22.04): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3594
Unreachable code detected

Artifacts

Produced during runtime
Name Size
DafnyRef Expired
1.46 MB