fix: Crash when compiling an empty source file while including testing code #18714
Annotations
10 warnings
|
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1576
This label has not been referenced
|
|
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2139
This label has not been referenced
|
|
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2450
This label has not been referenced
|
|
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2697
Assignment made to same variable; did you mean to assign something else?
|
|
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3439
Unreachable code detected
|
|
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3485
Unreachable code detected
|
|
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3528
Unreachable code detected
|
|
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3548
Unreachable code detected
|
|
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3569
Unreachable code detected
|
|
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L3594
Unreachable code detected
|
This job succeeded
Loading