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