Fix proptest-regressions locations after reorganizations of files

Cargo.lock

@@ -1751,4 +1751,4 @@ dependencies = [
 name = "zeroize"
 version = "1.1.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3cbac2ed2ba24cc90f5e06485ac8c7c1e5449fe8911aef4d8877218af021a5b8"
+checksum = "3cbac2ed2ba24cc90f5e06485ac8c7c1e5449fe8911aef4d8877218af021a5b8"

zebra-network/Cargo.toml

@@ -17,6 +17,8 @@ hex = "0.4"
 # which we don't use, so disable it to drop the dependencies.
 indexmap = { version = "1.2", default-features = false }
 pin-project = "0.4"
+proptest = "0.9"
+proptest-derive = "0.1.0"
 rand = "0.7"
 serde = { version = "1", features = ["serde_derive"] }
 thiserror = "1"

zebra-network/proptest-regressions/protocol/internal/request.txt

@@ -0,0 +1,8 @@
+# Seeds for failure cases proptest has generated in the past. It is
+# automatically read and these particular cases re-run before any
+# novel cases are generated.
+#
+# It is recommended to check this file in to source control so that
+# everyone who runs the test benefits from these saved cases.
+cc fb728d0d2a16976de785ed8525cc74c4d3f7826f8840ebe5a4fee6b5ab0edad8 # shrinks to req = GetMempool
+cc 3ed95f3a436a15e33b27f4bf1105629860b8e6a895165eb83befcb625e951b1d # shrinks to req = GetPeers

zebra-network/src/protocol/internal/request.rs

@@ -1,20 +1,40 @@
+#[cfg(test)]
+use proptest_derive::Arbitrary;
+
 use crate::meta_addr::MetaAddr;
 
 use super::super::types::Nonce;
 
 /// A network request, represented in internal format.
 #[derive(Clone, Debug, Eq, PartialEq)]
+#[cfg_attr(test, derive(Arbitrary))]
 pub enum Request {
     /// Requests additional peers from the server.
     GetPeers,
     /// Advertises peers to the remote server.
+    #[cfg_attr(test, proptest(skip))]
     PushPeers(Vec<MetaAddr>),
     /// Heartbeats triggered on peer connection start.
     // This is included as a bit of a hack, it should only be used
     // internally for connection management. You should not expect to
     // be firing or handling `Ping` requests or `Pong` responses.
+    #[cfg_attr(test, proptest(skip))]
     Ping(Nonce),
     /// Requests the transactions the remote server has verified but
     /// not yet confirmed.
     GetMempool,
 }
+
+#[cfg(test)]
+mod test {
+    use proptest::prelude::*;
+
+    use super::Request;
+
+    proptest! {
+        #[test]
+        fn proptest_response(res in any::<Request>()) {
+            println!("{:?}", res);
+        }
+    }
+}

zebra-network/src/protocol/internal/response.rs

@@ -1,5 +1,8 @@
 use std::error::Error;
 
+#[cfg(test)]
+use proptest_derive::Arbitrary;
+
 // XXX clean module layout of zebra_chain
 use zebra_chain::transaction::Transaction;
 
@@ -7,14 +10,17 @@ use crate::meta_addr::MetaAddr;
 
 /// A response to a network request, represented in internal format.
 #[derive(Clone, Debug, Eq, PartialEq)]
+#[cfg_attr(test, derive(Arbitrary))]
 pub enum Response {
     /// Generic success.
     Ok,
     /// Generic error.
     Error,
     /// A list of peers, used to respond to `GetPeers`.
+    #[cfg_attr(test, proptest(skip))]
     Peers(Vec<MetaAddr>),
-    /// A list of transactions, such as in response to `GetMempool`.
+    /// A list of transactions, such as in response to `GetMempool
+    #[cfg_attr(test, proptest(skip))]
     Transactions(Vec<Transaction>),
 }
 
@@ -26,3 +32,17 @@ where
         Self::Error
     }
 }
+
+#[cfg(test)]
+mod test {
+    use proptest::prelude::*;
+
+    use super::Response;
+
+    proptest! {
+        #[test]
+        fn proptest_response(res in any::<Response>()) {
+            println!("{:?}", res);
+        }
+    }
+}