m

aws · Nov 15, 2024 · b017876 · b017876
1 parent 3fdf6d6
commit b017876
Show file tree

Hide file tree

Showing 15 changed files with 98 additions and 17,575 deletions.
diff --git a/AwsEncryptionSDK/runtimes/rust/Cargo.toml b/AwsEncryptionSDK/runtimes/rust/Cargo.toml
@@ -24,7 +24,7 @@ aws-sdk-kms = "1.48.0"
 aws-smithy-runtime-api = {version = "1.7.2", features = ["client"] }
 aws-smithy-types = "1.2.8"
 chrono = "0.4.38"
-dafny_runtime = { path = "dafny_runtime_rust"}
+dafny_runtime = { path = "../../../mpl/smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust"}
 dashmap = "6.1.0"
 pem = "3.0.4"
 rand = "0.8.5"

diff --git a/AwsEncryptionSDK/runtimes/rust/dafny_runtime_rust/Cargo.toml b/AwsEncryptionSDK/runtimes/rust/dafny_runtime_rust/Cargo.toml
diff --git a/AwsEncryptionSDK/runtimes/rust/dafny_runtime_rust/Makefile b/AwsEncryptionSDK/runtimes/rust/dafny_runtime_rust/Makefile