Skip to content

fix: Crash when compiling an empty source file while including testing code #18714

fix: Crash when compiling an empty source file while including testing code

fix: Crash when compiling an empty source file while including testing code #18714

Triggered via pull request July 19, 2024 20:40
Status Success
Total duration 26m 52s
Artifacts 9

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
8s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
0s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
0s
xunit-tests / populate-matrix-dimensions
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
1m 7s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

170 warnings
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1576
This label has not been referenced
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2139
This label has not been referenced
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2450
This label has not been referenced
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3439
Unreachable code detected
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3485
Unreachable code detected
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3528
Unreachable code detected
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3548
Unreachable code detected
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3569
Unreachable code detected
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3594
Unreachable code detected
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1576
This label has not been referenced
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2139
This label has not been referenced
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2450
This label has not been referenced
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3439
Unreachable code detected
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3485
Unreachable code detected
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3528
Unreachable code detected
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3548
Unreachable code detected
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3569
Unreachable code detected
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3594
Unreachable code detected
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1576
This label has not been referenced
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2139
This label has not been referenced
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2450
This label has not been referenced
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3439
Unreachable code detected
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3485
Unreachable code detected
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3528
Unreachable code detected
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3548
Unreachable code detected
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3569
Unreachable code detected
singletons: Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3594
Unreachable code detected
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?
xunit-tests / win (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1576
This label has not been referenced
xunit-tests / win (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2139
This label has not been referenced
xunit-tests / win (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2450
This label has not been referenced
xunit-tests / win (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?
xunit-tests / win (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1576
This label has not been referenced
xunit-tests / win (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2139
This label has not been referenced
xunit-tests / win (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2450
This label has not been referenced
xunit-tests / win (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?
xunit-tests / osx (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1576
This label has not been referenced
xunit-tests / osx (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2139
This label has not been referenced
xunit-tests / osx (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2450
This label has not been referenced
xunit-tests / osx (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?
xunit-tests / osx (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1576
This label has not been referenced
xunit-tests / osx (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2139
This label has not been referenced
xunit-tests / osx (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2450
This label has not been referenced
xunit-tests / osx (1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?
integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?
integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?
integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?
integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?
integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?

Artifacts

Produced during runtime
Name Size
integration-test-results-ubuntu-20.04-1 Expired
1.59 MB
integration-test-results-ubuntu-20.04-2 Expired
1.59 MB
integration-test-results-ubuntu-20.04-3 Expired
1.59 MB
integration-test-results-ubuntu-20.04-4 Expired
1.6 MB
integration-test-results-ubuntu-20.04-5 Expired
1.6 MB
test-coverage-results Expired
28.8 MB
unit-test-results-macos-13 Expired
9.08 MB
unit-test-results-ubuntu-20.04 Expired
9.11 MB
unit-test-results-windows-2019 Expired
9.07 MB