Skip to content

Commit d3cd446

Browse files
author
Shubham Chaturvedi
committed
feat: adds temp patch file for Go
1 parent 7ac872c commit d3cd446

File tree

6 files changed

+28
-1
lines changed

6 files changed

+28
-1
lines changed

‎AwsEncryptionSDK/codegen-patches/AwsEncryptionSdk/go/dafny-4.8.0.patch

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
diff --git a/AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go b/AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go
2+
index 83ce94f..519bcf0 100644
3+
--- a/AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go
4+
+++ b/AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go
5+
@@ -6,7 +6,7 @@ import (
6+
"context"
7+
8+
"github.com/aws/aws-encryption-sdk/AwsCryptographyEncryptionSdkTypes"
9+
- "github.com/aws/aws-encryption-sdk/ESDK"
10+
+ ESDK "github.com/aws/aws-encryption-sdk/EncryptionSdk"
11+
"github.com/aws/aws-encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes"
12+
)
13+

‎AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go

Lines changed: 4 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go

Lines changed: 3 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go

Lines changed: 4 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go

Lines changed: 3 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)