m

Author: ajewellamz

TestVectors/runtimes/rust/Cargo.toml

@@ -16,7 +16,7 @@ aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] }
 aws-smithy-types = "1.2.10"
 chrono = "0.4.39"
 cpu-time = "1.0.0"
-dafny_runtime = { path = "../../../submodules/MaterialProviders/smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust", features = ["sync"]}
+dafny-runtime = { path = "../../../releases/rust/db_esdk/dafny_runtime_rust", features = ["sync"] }
 dashmap = "6.1.0"
 pem = "3.0.4"
 tokio = {version = "1.42.0", features = ["full"] }

TestVectors/runtimes/rust/src/create_client.rs

@@ -1,7 +1,7 @@
 // Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: Apache-2.0
 
-use std::rc::Rc;
+use dafny_runtime::Rc;
 use dafny_runtime::Object;
 use crate::implementation_from_dafny::software::amazon::cryptography::services::dynamodb::internaldafny::types::IDynamoDBClient;
 use crate::implementation_from_dafny::software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::Error;
@@ -39,7 +39,7 @@ impl _CreateInterceptedDDBClient_Compile::_default {
 
       let client = crate::deps::com_amazonaws_dynamodb::client::Client { inner };
       let dafny_client = ::dafny_runtime::upcast_object()(::dafny_runtime::object::new(client));
-      std::rc::Rc::new(crate::r#_Wrappers_Compile::Result::Success {
+      Rc::new(crate::r#_Wrappers_Compile::Result::Success {
         value: dafny_client,
       })
 }
@@ -56,7 +56,7 @@ impl _CreateInterceptedDDBClient_Compile::_default {
       let inner = aws_sdk_dynamodb::Client::new(&shared_config);
       let client = crate::deps::com_amazonaws_dynamodb::client::Client { inner };
       let dafny_client = ::dafny_runtime::upcast_object()(::dafny_runtime::object::new(client));
-      std::rc::Rc::new(crate::r#_Wrappers_Compile::Result::Success {
+      Rc::new(crate::r#_Wrappers_Compile::Result::Success {
         value: dafny_client,
     })
   }