Chore: Increase Runtime coverage #18925
msbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
8s
singletons
3m 34s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
Annotations
1 error and 40 warnings
xunit-tests / win (1)
Process completed with exit code 1.
|
singletons:
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L48
Converting null literal or possible null value to non-nullable type.
|
singletons:
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L50
Converting null literal or possible null value to non-nullable type.
|
singletons:
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L58
Converting null literal or possible null value to non-nullable type.
|
singletons:
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L61
Cannot convert null literal to non-nullable reference type.
|
singletons:
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L62
Cannot convert null literal to non-nullable reference type.
|
singletons:
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L74
Cannot convert null literal to non-nullable reference type.
|
singletons:
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L75
Cannot convert null literal to non-nullable reference type.
|
singletons:
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L235
The literal or constant value 2 should be passed as the 'expected' argument in the call to 'Assert.Equal(expected, actual)' in method 'InitNewArray1Test' on type 'RuntimeTest'. Swap the parameter values. (https://xunit.net/xunit.analyzers/rules/xUnit2000)
|
singletons:
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L236
The literal or constant value 'a' should be passed as the 'expected' argument in the call to 'Assert.Equal(expected, actual)' in method 'InitNewArray1Test' on type 'RuntimeTest'. Swap the parameter values. (https://xunit.net/xunit.analyzers/rules/xUnit2000)
|
singletons:
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L237
The literal or constant value 'a' should be passed as the 'expected' argument in the call to 'Assert.Equal(expected, actual)' in method 'InitNewArray1Test' on type 'RuntimeTest'. Swap the parameter values. (https://xunit.net/xunit.analyzers/rules/xUnit2000)
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L48
Converting null literal or possible null value to non-nullable type.
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L50
Converting null literal or possible null value to non-nullable type.
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L58
Converting null literal or possible null value to non-nullable type.
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L61
Cannot convert null literal to non-nullable reference type.
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L62
Cannot convert null literal to non-nullable reference type.
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L74
Cannot convert null literal to non-nullable reference type.
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L75
Cannot convert null literal to non-nullable reference type.
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L235
The literal or constant value 2 should be passed as the 'expected' argument in the call to 'Assert.Equal(expected, actual)' in method 'InitNewArray1Test' on type 'RuntimeTest'. Swap the parameter values. (https://xunit.net/xunit.analyzers/rules/xUnit2000)
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L236
The literal or constant value 'a' should be passed as the 'expected' argument in the call to 'Assert.Equal(expected, actual)' in method 'InitNewArray1Test' on type 'RuntimeTest'. Swap the parameter values. (https://xunit.net/xunit.analyzers/rules/xUnit2000)
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L237
The literal or constant value 'a' should be passed as the 'expected' argument in the call to 'Assert.Equal(expected, actual)' in method 'InitNewArray1Test' on type 'RuntimeTest'. Swap the parameter values. (https://xunit.net/xunit.analyzers/rules/xUnit2000)
|
xunit-tests / win (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L48
Converting null literal or possible null value to non-nullable type.
|
xunit-tests / win (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L50
Converting null literal or possible null value to non-nullable type.
|
xunit-tests / win (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L58
Converting null literal or possible null value to non-nullable type.
|
xunit-tests / win (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L61
Cannot convert null literal to non-nullable reference type.
|
xunit-tests / win (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L62
Cannot convert null literal to non-nullable reference type.
|
xunit-tests / win (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L74
Cannot convert null literal to non-nullable reference type.
|
xunit-tests / win (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L75
Cannot convert null literal to non-nullable reference type.
|
xunit-tests / win (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L235
The literal or constant value 2 should be passed as the 'expected' argument in the call to 'Assert.Equal(expected, actual)' in method 'InitNewArray1Test' on type 'RuntimeTest'. Swap the parameter values. (https://xunit.net/xunit.analyzers/rules/xUnit2000)
|
xunit-tests / win (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L245
The literal or constant value 1 should be passed as the 'expected' argument in the call to 'Assert.Equal(expected, actual)' in method 'InitNewArray2Test' on type 'RuntimeTest'. Swap the parameter values. (https://xunit.net/xunit.analyzers/rules/xUnit2000)
|
xunit-tests / win (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L236
The literal or constant value 'a' should be passed as the 'expected' argument in the call to 'Assert.Equal(expected, actual)' in method 'InitNewArray1Test' on type 'RuntimeTest'. Swap the parameter values. (https://xunit.net/xunit.analyzers/rules/xUnit2000)
|
xunit-tests / osx (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L48
Converting null literal or possible null value to non-nullable type.
|
xunit-tests / osx (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L50
Converting null literal or possible null value to non-nullable type.
|
xunit-tests / osx (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L58
Converting null literal or possible null value to non-nullable type.
|
xunit-tests / osx (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L61
Cannot convert null literal to non-nullable reference type.
|
xunit-tests / osx (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L62
Cannot convert null literal to non-nullable reference type.
|
xunit-tests / osx (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L74
Cannot convert null literal to non-nullable reference type.
|
xunit-tests / osx (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L75
Cannot convert null literal to non-nullable reference type.
|
xunit-tests / osx (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L235
The literal or constant value 2 should be passed as the 'expected' argument in the call to 'Assert.Equal(expected, actual)' in method 'InitNewArray1Test' on type 'RuntimeTest'. Swap the parameter values. (https://xunit.net/xunit.analyzers/rules/xUnit2000)
|
xunit-tests / osx (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L236
The literal or constant value 'a' should be passed as the 'expected' argument in the call to 'Assert.Equal(expected, actual)' in method 'InitNewArray1Test' on type 'RuntimeTest'. Swap the parameter values. (https://xunit.net/xunit.analyzers/rules/xUnit2000)
|
xunit-tests / osx (1):
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L237
The literal or constant value 'a' should be passed as the 'expected' argument in the call to 'Assert.Equal(expected, actual)' in method 'InitNewArray1Test' on type 'RuntimeTest'. Swap the parameter values. (https://xunit.net/xunit.analyzers/rules/xUnit2000)
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
integration-test-results-ubuntu-20.04-1
|
1.61 MB |
|
integration-test-results-ubuntu-20.04-2
|
1.6 MB |
|
integration-test-results-ubuntu-20.04-3
|
1.59 MB |
|
integration-test-results-ubuntu-20.04-4
|
1.59 MB |
|
integration-test-results-ubuntu-20.04-5
|
1.6 MB |
|
unit-test-results-macos-13
|
9.12 MB |
|
unit-test-results-ubuntu-20.04
|
9.15 MB |
|
unit-test-results-windows-2019
|
3.81 MB |
|