--- a/gameServer2/Cargo.toml Sun Jun 10 18:56:51 2018 +0200 +++ b/gameServer2/Cargo.toml Sun Jun 10 19:12:26 2018 +0200 @@ -11,3 +11,4 @@ nom = "3.2" env_logger = "0.4" log = "0.3.8" +proptest = "0.5.1"