From 8a9a5ba29b7033776f226aece3373e37d4900256 Mon Sep 17 00:00:00 2001
From: Deirdre Connolly <deirdre@zfnd.org>
Date: Tue, 26 Nov 2019 19:18:04 -0500
Subject: [PATCH] Revert "Add some simple proptests using the Arbitray trait on
 Requests and Responses, gated to test only"

This reverts commit 5a123acf561c3f17bc2647e7ff3fbfcf98ce1f8d.
---
 zebra-network/Cargo.toml                      |  2 --
 .../protocol/internal.txt                     |  8 -----
 zebra-network/src/protocol/internal.rs        | 29 -------------------
 3 files changed, 39 deletions(-)
 delete mode 100644 zebra-network/proptest-regressions/protocol/internal.txt

diff --git a/zebra-network/Cargo.toml b/zebra-network/Cargo.toml
index 9ce0d1cf..fa943841 100644
--- a/zebra-network/Cargo.toml
+++ b/zebra-network/Cargo.toml
@@ -17,8 +17,6 @@ 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"
diff --git a/zebra-network/proptest-regressions/protocol/internal.txt b/zebra-network/proptest-regressions/protocol/internal.txt
deleted file mode 100644
index 3f172403..00000000
--- a/zebra-network/proptest-regressions/protocol/internal.txt
+++ /dev/null
@@ -1,8 +0,0 @@
-# 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
diff --git a/zebra-network/src/protocol/internal.rs b/zebra-network/src/protocol/internal.rs
index a2245045..186d2fb4 100644
--- a/zebra-network/src/protocol/internal.rs
+++ b/zebra-network/src/protocol/internal.rs
@@ -6,9 +6,6 @@
 
 use std::error::Error;
 
-#[cfg(test)]
-use proptest_derive::Arbitrary;
-
 use zebra_chain::transaction::Transaction;
 
 use crate::meta_addr::MetaAddr;
@@ -17,18 +14,15 @@ use 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.
@@ -37,17 +31,14 @@ pub enum Request {
 
 /// 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`.
-    #[cfg_attr(test, proptest(skip))]
     Transactions(Vec<Transaction>),
 }
 
@@ -59,23 +50,3 @@ where
         Self::Error
     }
 }
-
-#[cfg(test)]
-mod test {
-    use proptest::prelude::*;
-
-    use super::{Request, Response};
-
-    proptest! {
-
-        #[test]
-        fn proptest_request(req in any::<Request>()) {
-            println!("{:?}", req);
-        }
-
-        #[test]
-        fn proptest_response(res in any::<Response>()) {
-            println!("{:?}", res);
-        }
-    }
-}