Erase ghost code in a separate phase #19228
msbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
6s
singletons
3m 32s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
Annotations
51 errors and 104 warnings
|
integration-tests / test (ubuntu-20.04, 3)
A local or parameter named 'x' cannot be declared in this scope because that name is used in an enclosing local scope to define a local or parameter
|
|
integration-tests / test (ubuntu-20.04, 3)
The out parameter 'x' must be assigned to before control leaves the current method
|
|
integration-tests / test (ubuntu-20.04, 3)
The out parameter 'y' must be assigned to before control leaves the current method
|
|
integration-tests / test (ubuntu-20.04, 3)
The out parameter 'y' must be assigned to before control leaves the current method
|
|
integration-tests / test (ubuntu-20.04, 3)
The out parameter 'y' must be assigned to before control leaves the current method
|
|
integration-tests / test (ubuntu-20.04, 3)
The out parameter 'y' must be assigned to before control leaves the current method
|
|
integration-tests / test (ubuntu-20.04, 3)
There is no argument given that corresponds to the required parameter 'x' of '__default.M2(out BigInteger, out BigInteger)'
|
|
integration-tests / test (ubuntu-20.04, 3)
There is no argument given that corresponds to the required parameter 'x' of '__default.M2(out BigInteger, out BigInteger)'
|
|
integration-tests / test (ubuntu-20.04, 3)
There is no argument given that corresponds to the required parameter 'z' of '__default.M3(out BigInteger, out BigInteger, out BigInteger)'
|
|
integration-tests / test (ubuntu-20.04, 3)
An object of a type convertible to 'BigInteger' is required
|
|
integration-tests / test (ubuntu-20.04, 5)
A local or parameter named 'a' cannot be declared in this scope because that name is used in an enclosing local scope to define a local or parameter
|
|
integration-tests / test (ubuntu-20.04, 5)
The out parameter 'a' must be assigned to before control leaves the current method
|
|
integration-tests / test (ubuntu-20.04, 5)
The out parameter 'b' must be assigned to before control leaves the current method
|
|
integration-tests / test (ubuntu-20.04, 5)
There is no argument given that corresponds to the required parameter 'a' of '__default.P(out BigInteger, out BigInteger)'
|
|
integration-tests / test (ubuntu-20.04, 5)
A local or parameter named 'a' cannot be declared in this scope because that name is used in an enclosing local scope to define a local or parameter
|
|
integration-tests / test (ubuntu-20.04, 5)
The out parameter 'a' must be assigned to before control leaves the current method
|
|
integration-tests / test (ubuntu-20.04, 5)
The out parameter 'b' must be assigned to before control leaves the current method
|
|
integration-tests / test (ubuntu-20.04, 5)
There is no argument given that corresponds to the required parameter 'a' of '__default.P(out BigInteger, out BigInteger)'
|
|
integration-tests / test (ubuntu-20.04, 5)
A local or parameter named 'a' cannot be declared in this scope because that name is used in an enclosing local scope to define a local or parameter
|
|
integration-tests / test (ubuntu-20.04, 5)
The out parameter 'a' must be assigned to before control leaves the current method
|
|
integration-tests / test (ubuntu-20.04, 1)
There is no argument given that corresponds to the required parameter 'b' of '__default.GetTest0cInput(out uint, out char)'
|
|
integration-tests / test (ubuntu-20.04, 1)
A local or parameter named 'b' cannot be declared in this scope because that name is used in an enclosing local scope to define a local or parameter
|
|
integration-tests / test (ubuntu-20.04, 1)
The out parameter 'b' must be assigned to before control leaves the current method
|
|
integration-tests / test (ubuntu-20.04, 1)
The out parameter 'c' must be assigned to before control leaves the current method
|
|
integration-tests / test (ubuntu-20.04, 1)
There is no argument given that corresponds to the required parameter 'b' of '__default.GetTest0cInput(out uint, out char)'
|
|
integration-tests / test (ubuntu-20.04, 1)
A local or parameter named 'b' cannot be declared in this scope because that name is used in an enclosing local scope to define a local or parameter
|
|
integration-tests / test (ubuntu-20.04, 1)
The out parameter 'b' must be assigned to before control leaves the current method
|
|
integration-tests / test (ubuntu-20.04, 1)
The out parameter 'c' must be assigned to before control leaves the current method
|
|
integration-tests / test (ubuntu-20.04, 1)
There is no argument given that corresponds to the required parameter 'b' of '__default.GetTest0cInput(out uint, out char)'
|
|
integration-tests / test (ubuntu-20.04, 1)
A local or parameter named 'b' cannot be declared in this scope because that name is used in an enclosing local scope to define a local or parameter
|
|
integration-tests / test (ubuntu-20.04, 4)
'T' does not contain a definition for '_Repr' and no accessible extension method '_Repr' accepting a first argument of type 'T' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4)
'T' does not contain a definition for '_Repr' and no accessible extension method '_Repr' accepting a first argument of type 'T' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4)
'T' does not contain a definition for '_Repr' and no accessible extension method '_Repr' accepting a first argument of type 'T' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4)
'T' does not contain a definition for '_Repr' and no accessible extension method '_Repr' accepting a first argument of type 'T' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4)
'T' does not contain a definition for '_Repr' and no accessible extension method '_Repr' accepting a first argument of type 'T' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4)
'T' does not contain a definition for '_Repr' and no accessible extension method '_Repr' accepting a first argument of type 'T' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4)
'T' does not contain a definition for '_Repr' and no accessible extension method '_Repr' accepting a first argument of type 'T' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4)
'T' does not contain a definition for '_Repr' and no accessible extension method '_Repr' accepting a first argument of type 'T' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4)
'T' does not contain a definition for '_Repr' and no accessible extension method '_Repr' accepting a first argument of type 'T' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4)
'T' does not contain a definition for '_Repr' and no accessible extension method '_Repr' accepting a first argument of type 'T' could be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / osx (1)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 2)
'Op_PushOp' does not contain a definition for '_id' and no accessible extension method '_id' accepting a first argument of type 'Op_PushOp' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2)
'Op_PushOp' does not contain a definition for '_id' and no accessible extension method '_id' accepting a first argument of type 'Op_PushOp' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2)
'Op_PushOp' does not contain a definition for '_id' and no accessible extension method '_id' accepting a first argument of type 'Op_PushOp' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2)
'Op_PushOp' does not contain a definition for '_id' and no accessible extension method '_id' accepting a first argument of type 'Op_PushOp' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2)
'Op_PushOp' does not contain a definition for '_id' and no accessible extension method '_id' accepting a first argument of type 'Op_PushOp' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2)
'Op_PushOp' does not contain a definition for '_id' and no accessible extension method '_id' accepting a first argument of type 'Op_PushOp' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2)
'Op_PushOp' does not contain a definition for '_id' and no accessible extension method '_id' accepting a first argument of type 'Op_PushOp' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2)
'Op_PushOp' does not contain a definition for '_id' and no accessible extension method '_id' accepting a first argument of type 'Op_PushOp' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2)
'Op_PushOp' does not contain a definition for '_id' and no accessible extension method '_id' accepting a first argument of type 'Op_PushOp' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2)
'Op_PushOp' does not contain a definition for '_id' and no accessible extension method '_id' accepting a first argument of type 'Op_PushOp' could be found (are you missing a using directive or an assembly reference?)
|
|
singletons:
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
singletons:
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
singletons:
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
singletons:
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
singletons:
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
singletons:
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
singletons:
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
singletons:
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
singletons:
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
singletons:
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
singletons:
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
singletons:
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / win (1):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / win (1):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / win (1):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / win (1):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / win (1):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / win (1):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / win (1):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / win (1):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / win (1):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
integration-tests / test (ubuntu-20.04, 3)
Non-nullable field 'val' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
integration-tests / test (ubuntu-20.04, 3)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 3)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 3)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 3)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 3)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 3)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
integration-tests / test (ubuntu-20.04, 5)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 5)
Non-nullable field 'val' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
integration-tests / test (ubuntu-20.04, 5)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 5)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 5)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 5)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 5)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
integration-tests / test (ubuntu-20.04, 1)
Comparison made to same variable; did you mean to compare something else?
|
|
integration-tests / test (ubuntu-20.04, 1)
Comparison made to same variable; did you mean to compare something else?
|
|
integration-tests / test (ubuntu-20.04, 1)
Comparison made to same variable; did you mean to compare something else?
|
|
integration-tests / test (ubuntu-20.04, 1)
Comparison made to same variable; did you mean to compare something else?
|
|
integration-tests / test (ubuntu-20.04, 1)
Comparison made to same variable; did you mean to compare something else?
|
|
integration-tests / test (ubuntu-20.04, 1)
Comparison made to same variable; did you mean to compare something else?
|
|
integration-tests / test (ubuntu-20.04, 1)
Comparison made to same variable; did you mean to compare something else?
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
integration-tests / test (ubuntu-20.04, 4)
Non-nullable field 'val' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
integration-tests / test (ubuntu-20.04, 4)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 4)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 4)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 4)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 4)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 4)
Unreachable code detected
|
|
xunit-tests / osx (1):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / osx (1):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / osx (1):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / osx (1):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / osx (1):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / osx (1):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / osx (1):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / osx (1):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
xunit-tests / osx (1):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
integration-tests / test (ubuntu-20.04, 2)
This label has not been referenced
|
|
integration-tests / test (ubuntu-20.04, 2)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 2)
This label has not been referenced
|
|
integration-tests / test (ubuntu-20.04, 2)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 2)
This label has not been referenced
|
|
integration-tests / test (ubuntu-20.04, 2)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 2)
This label has not been referenced
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
integration-test-results-ubuntu-20.04-1
Expired
|
1.72 MB |
sha256:5c5d499c3cf0c283ee284889b4fc1d4629f908f2079522a16566bab7a35a671b
|
|
|
integration-test-results-ubuntu-20.04-2
Expired
|
1.7 MB |
sha256:ef26c8256f8f6c15d705bc9628411fd61ee6a26cb9877cd6bc49a6c45e5026d0
|
|
|
integration-test-results-ubuntu-20.04-3
Expired
|
1.69 MB |
sha256:ae730c84ed973e57b4de6bc0d8ad2699025a722564331548011949e7028e294a
|
|
|
integration-test-results-ubuntu-20.04-4
Expired
|
1.69 MB |
sha256:3ebae8972fb1d898b69861bc0fccc5363996117131abda75b32d42df4eba3346
|
|
|
integration-test-results-ubuntu-20.04-5
Expired
|
1.66 MB |
sha256:f5748431346b128912bfe12d3858cbe1db1eed45a4646b10e210f28781caa5f4
|
|
|
unit-test-results-macos-13
Expired
|
3.91 MB |
sha256:edef16d7435e46b5c9f94de5c9b52886b47f62e311a6533eb4a31840ff8a54f4
|
|
|
unit-test-results-ubuntu-20.04
Expired
|
9.41 MB |
sha256:14014b6fa5e143c996be96edd15bfc5f927a456481369898bb14e21959b2918c
|
|
|
unit-test-results-windows-2019
Expired
|
9.38 MB |
sha256:428159527cfb8bbb787cb2c042fbb4a6f514e704b7243f2c676ff92f0a67d25f
|
|