auto commit

Author: rishav-karanjit

TestVectors/runtimes/go/ImplementationFromDafny-go/CreateInterceptedDDBClient/CreateInterceptedDDBClient.go

@@ -0,0 +1,47 @@
+file_format_version = "1.0"
+dafny_version = "4.9.1.0"
+[options_by_module.DdbItemJson]
+go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb/testvectors"
+legacy-module-names = false
+[options_by_module.CreateInterceptedDDBClient]
+go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb/testvectors"
+legacy-module-names = false
+[options_by_module.InternalLegacyOverride]
+go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb/testvectors"
+legacy-module-names = false
+[options_by_module.AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorOperations]
+go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb/testvectors"
+legacy-module-names = false
+[options_by_module.DynamoDbItemEncryptor]
+go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb/testvectors"
+legacy-module-names = false
+[options_by_module.JsonConfig]
+go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb/testvectors"
+legacy-module-names = false
+[options_by_module.WriteManifest]
+go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb/testvectors"
+legacy-module-names = false
+[options_by_module.EncryptManifest]
+go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb/testvectors"
+legacy-module-names = false
+[options_by_module.DecryptManifest]
+go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb/testvectors"
+legacy-module-names = false
+[options_by_module.DdbEncryptionTestVectors]
+go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb/testvectors"
+legacy-module-names = false
+[options_by_module.Permutations]
+go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb/testvectors"
+legacy-module-names = false
+[options_by_module.WriteSetPermutations]
+go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb/testvectors"
+legacy-module-names = false
+[options_by_module.WrappedDDBEncryptionMain]
+go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb/testvectors"
+legacy-module-names = false
+[options_by_module.WrappedAbstractAwsCryptographyDynamoDbEncryptionService]
+go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb/testvectors"
+legacy-module-names = false
+[options_by_module.WrappedDynamoDbEncryption]
+go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb/testvectors"
+legacy-module-names = false