--- a/gameServer2/Cargo.toml Thu Mar 08 16:49:49 2018 +0100 +++ b/gameServer2/Cargo.toml Thu Mar 08 15:01:18 2018 -0500 @@ -11,3 +11,4 @@ nom = "3.2" env_logger = "0.4" log = "0.3.8" +proptest = "0.5.1"