update proptest
authoralfadur
Tue, 03 Jul 2018 23:05:09 +0300
changeset 13437 a0c3431f60ac
parent 13436 e4fbf2ec9f8a
child 13438 da71e0d88a1c
update proptest
gameServer2/Cargo.toml
gameServer2/src/protocol/test.rs
--- a/gameServer2/Cargo.toml	Tue Jul 03 22:39:12 2018 +0300
+++ b/gameServer2/Cargo.toml	Tue Jul 03 23:05:09 2018 +0300
@@ -11,5 +11,5 @@
 nom = "3.2"
 env_logger = "0.4"
 log = "0.4"
-proptest = "0.5.1"
-base64 = "*"
+proptest = "0.8"
+base64 = "0.9"
--- a/gameServer2/src/protocol/test.rs	Tue Jul 03 22:39:12 2018 +0300
+++ b/gameServer2/src/protocol/test.rs	Tue Jul 03 23:05:09 2018 +0300
@@ -46,16 +46,6 @@
 #[derive(Debug)]
 struct Ascii(String);
 
-struct AsciiValueTree(RegexGeneratorValueTree<String>);
-
-impl ValueTree for AsciiValueTree {
-    type Value = Ascii;
-
-    fn current(&self) -> Self::Value { Ascii(self.0.current()) }
-    fn simplify(&mut self) -> bool { self.0.simplify() }
-    fn complicate(&mut self) -> bool { self.0.complicate() }
-}
-
 impl Arbitrary for Ascii {
     type Parameters = <String as Arbitrary>::Parameters;
 
@@ -71,7 +61,6 @@
     }
 
     type Strategy = BoxedStrategy<Ascii>;
-    type ValueTree = Box<dyn ValueTree<Value = Ascii>>;
 }
 
 pub fn gen_proto_msg() -> BoxedStrategy<HWProtocolMessage> where {