test: move proptests to integration tests

codahale · Oct 18, 2023 · 9e3156a · 9e3156a
1 parent 1d64c49
commit 9e3156a
Show file tree

Hide file tree

Showing 7 changed files with 3 additions and 18 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -10,16 +10,7 @@ documentation = "https://docs.rs/lockstitch/"
 keywords = ["crypto", "aegis-128l", "sha-256", "hazmat"]
 categories = ["cryptography", "no-std"]
 readme = "README.md"
-include = [
-    "src/**/*",
-    "benches/**/*",
-    "tests/**/*",
-    "proptest-regressions",
-    "LICENSE",
-    "README.md",
-    "design.md",
-    "perf.md",
-]
+include = ["src/**/*", "benches/**/*", "tests/**/*", "LICENSE", "README.md", "design.md", "perf.md"]
 
 [dependencies]
 aes = { version = "0.8.3", features = ["hazmat"], optional = true }

diff --git a/src/integration_tests.rs b/src/integration_tests.rs
diff --git a/src/lib.rs b/src/lib.rs
@@ -32,8 +32,6 @@ pub mod design {}
 #[doc = include_str!("../perf.md")]
 pub mod perf {}
 
-mod integration_tests;
-
 /// The length of an authentication tag in bytes.
 pub const TAG_LEN: usize = 16;
 

diff --git a/...sions/integration_tests/constructions.txt → ...s/constructions_test.proptest-regressions b/...sions/integration_tests/constructions.txt → ...s/constructions_test.proptest-regressions
diff --git a/src/integration_tests/constructions.rs → tests/constructions_test.rs b/src/integration_tests/constructions.rs → tests/constructions_test.rs
@@ -1,4 +1,4 @@
-use crate::{Protocol, TAG_LEN};
+use lockstitch::{Protocol, TAG_LEN};
 use proptest::collection::vec;
 use proptest::prelude::*;
 

diff --git a/...essions/integration_tests/transcripts.txt → tests/transcripts_test.proptest-regressions b/...essions/integration_tests/transcripts.txt → tests/transcripts_test.proptest-regressions
diff --git a/src/integration_tests/transcripts.rs → tests/transcripts_test.rs b/src/integration_tests/transcripts.rs → tests/transcripts_test.rs
@@ -1,4 +1,4 @@
-use crate::{Protocol, TAG_LEN};
+use lockstitch::{Protocol, TAG_LEN};
 use proptest::collection::vec;
 use proptest::prelude::*;