m

Author: Lucas McDonald

TestVectors/runtimes/python/src/aws_dbesdk_dynamodb_test_vectors/internaldafny/extern/CreateInterceptedDDBResource.py

@@ -152,7 +152,7 @@ def CreateInterceptedDDBClient(dafny_encryption_config):
             if len(table_config_names) > 1:
                 raise ValueError("TODO more than 1 table; need EncryptedTablesManager")
             # table = boto3.resource('dynamodb').Table(table_config_names[0])
-            resource = boto3.resource('dynamodb')
+            resource = boto3.resource('dynamodb', endpoint_url="http://localhost:8000")
             encrypted_resource = EncryptedResource(resource = resource, encryption_config = native_encryption_config)
             wrapped_encrypted_resource = DynamoDBClientWrapperForDynamoDBResource(resource = encrypted_resource, client = boto3_client)
             return aws_cryptography_internal_dynamodb.internaldafny.extern.Com_Amazonaws_Dynamodb.default__.DynamoDBClient(wrapped_encrypted_resource)

TestVectors/runtimes/python/src/aws_dbesdk_dynamodb_test_vectors/internaldafny/extern/CreateInterceptedDDBTable.py

@@ -202,7 +202,7 @@ def CreateInterceptedDDBClient(dafny_encryption_config):
             if len(table_config_names) > 1:
                 # If needed, this could be supported by setting up an EncryptedTablesManager
                 raise ValueError(">1 table not supported")
-            table = boto3.resource('dynamodb').Table(table_config_names[0])
+            table = boto3.resource('dynamodb', endpoint_url="http://localhost:8000").Table(table_config_names[0])
             encrypted_table = EncryptedTable(table = table, encryption_config = native_encryption_config)
             wrapped_encrypted_table = DynamoDBClientWrapperForDynamoDBTable(table = encrypted_table, client = boto3_client)
             return aws_cryptography_internal_dynamodb.internaldafny.extern.Com_Amazonaws_Dynamodb.default__.DynamoDBClient(wrapped_encrypted_table)