Chore: Increase Runtime coverage #18925
Annotations
10 warnings
Build:
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L48
Converting null literal or possible null value to non-nullable type.
|
Build:
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L50
Converting null literal or possible null value to non-nullable type.
|
Build:
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L58
Converting null literal or possible null value to non-nullable type.
|
Build:
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L61
Cannot convert null literal to non-nullable reference type.
|
Build:
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L62
Cannot convert null literal to non-nullable reference type.
|
Build:
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L74
Cannot convert null literal to non-nullable reference type.
|
Build:
Source/DafnyRuntime.Tests/CsRuntimeTest.cs#L75
Cannot convert null literal to non-nullable reference type.
|
Build:
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)
|
Build:
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)
|
Build:
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)
|
Loading