Dafny Nightly #784
Annotations
2 errors and 31 warnings
|
Run ESDK-NET @ v4.0.0 Invalid Vectors .NET 6.0 expect failure
Process completed with exit code 1.
|
|
Run ESDK-NET @ v4.0.0 Invalid Vectors .NET 48 expect failure
Process completed with exit code 1.
|
|
Run ESDK-NET @ v4.0.1 Vectors expect success
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Run ESDK-NET @ v4.0.1 Vectors expect success
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Run ESDK-NET @ v4.0.0 Invalid Vectors .NET expect Success
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Run ESDK-NET @ v4.0.0 Invalid Vectors .NET expect Success
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Run ESDK-NET @ v4.0.0 Invalid Vectors .NET expect Success
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Run ESDK-NET @ v4.0.0 Invalid Vectors .NET 6.0 expect failure
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Run ESDK-NET @ v4.0.0 Invalid Vectors .NET 6.0 expect failure
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Run ESDK-NET @ v4.0.0 Invalid Vectors .NET 48 expect failure
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Run ESDK-NET @ v4.0.0 Valid Vectors expect success:
mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
Run ESDK-NET @ v4.0.0 Valid Vectors expect success:
mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
|
Run ESDK-NET @ v4.0.0 Valid Vectors expect success:
mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
|
Run ESDK-NET @ v4.0.0 Valid Vectors expect success
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Test Examples on .NET net6.0:
AwsEncryptionSDK/runtimes/net/Examples/LimitEncryptedDataKeysExample.cs#L118
The variable 'ignore' is declared but never used
|
|
Test Examples on .NET net6.0:
AwsEncryptionSDK/runtimes/net/Examples/NetV4_0_0Example.cs#L119
The variable 'ex' is declared but never used
|
|
Test .NET net6.0:
mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L12182
Unreachable code detected
|
|
Test .NET net6.0:
mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L13277
Unreachable code detected
|
|
Test .NET net6.0:
mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L13250
Unreachable code detected
|
|
Test .NET net6.0:
mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L13373
Unreachable code detected
|
|
Test .NET net6.0:
mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L13345
Unreachable code detected
|
|
Test .NET net6.0:
mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
Test .NET net6.0:
mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
|
Test .NET net6.0:
mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
|
Test .NET net6.0
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Test .NET net6.0
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
|
Compile MPL with Dafny nightly-latest
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
|
Loading