m

Author: ajewellamz

DynamoDbEncryption/runtimes/rust/Cargo.toml

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

DynamoDbEncryption/runtimes/rust/start_release.sh

@@ -67,7 +67,7 @@ cargo clippy
 cargo clippy --example main
 
 # replace local path with latest dafny-runtime from crates.io
-cargo rm dafny-runtime
+cargo rm dafny_runtime
 cargo add dafny-runtime -F sync
 
 # Run cargo test and example tests

TestVectors/runtimes/rust/Cargo.toml

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