Add proptests to debug ci

RustCrypto · Jan 22, 2024 · ce9d916 · ce9d916
1 parent 879a21e
commit ce9d916
Show file tree

Hide file tree

Showing 4 changed files with 344 additions and 1 deletion.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/aes/Cargo.toml b/aes/Cargo.toml
@@ -23,6 +23,7 @@ cpufeatures = "0.2"
 [dev-dependencies]
 cipher = { version = "=0.5.0-pre.2", features = ["dev"] }
 hex-literal = "0.3"
+proptest = "1.4.0"
 
 [features]
 hazmat = [] # Expose cryptographically hazardous APIs

diff --git a/aes/src/lib.rs b/aes/src/lib.rs
@@ -111,7 +111,7 @@
 //! [AES-NI]: https://en.wikipedia.org/wiki/AES_instruction_set
 //! [`block-modes`]: https://github.com/RustCrypto/block-modes/
 
-#![no_std]
+// #![no_std]
 #![doc(
     html_logo_url = "https://raw.githubusercontent.com/RustCrypto/media/26acc39f/logo.svg",
     html_favicon_url = "https://raw.githubusercontent.com/RustCrypto/media/26acc39f/logo.svg"