chore: rename EncryptionSdk Dafny module name #462

chore: rename EncryptionSdk Dafny module name

Usage Workflow file

3 errors and 10 warnings

Test .NET Framework net48: mpl/AwsCryptographyPrimitives/runtimes/net/Extern/Signature.cs#L29

The type or namespace name 'SignatureKeyPair' could not be found (are you missing a using directive or an assembly reference?)

Test .NET Framework net48: mpl/AwsCryptographyPrimitives/runtimes/net/Extern/ECDH.cs#L36

The type or namespace name 'EccKeyPair' could not be found (are you missing a using directive or an assembly reference?)

Process completed with exit code 2.

Test .NET Framework net48: mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

Test .NET Framework net48: mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

Test .NET Framework net48: mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

Test .NET Framework net48: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16389

Unreachable code detected

Test .NET Framework net48: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16554

Unreachable code detected

Test .NET Framework net48: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16572

Unreachable code detected

Test .NET Framework net48: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16430

Unreachable code detected

Test .NET Framework net48: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16885

Unreachable code detected

Test .NET Framework net48: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16220

Unreachable code detected

Test .NET Framework net48: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16261

Unreachable code detected

failed Dec 10, 2024 in 3m 57s