ntls-io
diff --git a/‎Cargo.lock
+113-65 b/‎Cargo.lock
+113-65
diff --git a/‎rtc_types/Cargo.toml
+4 b/‎rtc_types/Cargo.toml
+4
@@ -26,3 +26,7 @@ thiserror = { version = "1.0.24", optional = true}
 # teaclave_sgx
 thiserror_sgx = { git = "https://github.com/mesalock-linux/thiserror-sgx.git", package = "thiserror", optional = true }
 sgx_tstd = { git = "https://github.com/apache/incubator-teaclave-sgx-sdk.git", rev = "b9d1bda", features = ["backtrace"], optional = true }
+
+[dev-dependencies]
+proptest = "1.0.0"
+proptest-derive = "0.3.0"