m

ajewellamz · ajewellamz · commit 05a50850c167 · 2024-11-13T10:28:17.000-05:00
diff --git a/DynamoDbEncryption/Makefile b/DynamoDbEncryption/Makefile
@@ -3,12 +3,12 @@
 
 CORES=2
 
+TRANSPILE_TESTS_IN_RUST=1
+
 include ../SharedMakefile.mk
 
 DIR_STRUCTURE_V2=V2
 
-TRANSPILE_TESTS_IN_RUST=1
-
 PROJECT_SERVICES := \
 	DynamoDbEncryption \
 	DynamoDbItemEncryptor \
diff --git a/DynamoDbEncryption/runtimes/rust/Cargo.toml b/DynamoDbEncryption/runtimes/rust/Cargo.toml
@@ -30,8 +30,5 @@ pem = "3.0.4"
 tokio = {version = "1.41.0", features = ["full"] }
 uuid = { version = "1.11.0", features = ["v4"] }
 
-[lib]
-path = "src/implementation_from_dafny.rs"
-
 [[example]]
-name = "main"
+name = "main"
diff --git a/DynamoDbEncryption/runtimes/rust/src/time.rs b/DynamoDbEncryption/runtimes/rust/src/time.rs
@@ -18,6 +18,7 @@ impl crate::Time::_default {
     }
 
     #[allow(non_snake_case)]
+    #[allow(dead_code)]
     pub fn CurrentRelativeTimeMilli() -> i64 {
         match SystemTime::now().duration_since(SystemTime::UNIX_EPOCH) {
             Ok(n) => n.as_millis() as i64,

Original file line number	Diff line number	Diff line change
`@@ -18,6 +18,7 @@ impl crate::Time::_default {`
`18`	`18`	`}`
`19`	`19`
`20`	`20`	`#[allow(non_snake_case)]`
	`21`	`+ #[allow(dead_code)]`
`21`	`22`	`pub fn CurrentRelativeTimeMilli() -> i64 {`
`22`	`23`	`match SystemTime::now().duration_since(SystemTime::UNIX_EPOCH) {`
`23`	`24`	`Ok(n) => n.as_millis() as i64,`