Add proptest support (#68)

* Add proptest support Signed-off-by: Ana Hobden <operator@hoverbear.org> * fmt Signed-off-by: Ana Hobden <operator@hoverbear.org> * Make proptest feature more consistent Signed-off-by: Ana Hobden <operator@hoverbear.org> * Fixes #69 Signed-off-by: Ana Hobden <operator@hoverbear.org> * fmt Signed-off-by: Ana Hobden <operator@hoverbear.org>
tikv · Jul 5, 2019 · 1815a3b · 1815a3b
1 parent 75eae03
commit 1815a3b
Show file tree

Hide file tree

Showing 13 changed files with 634 additions and 671 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -43,3 +43,5 @@ clap = "2.32"
 tempdir = "0.3"
 runtime = "0.3.0-alpha.3"
 runtime-tokio = "0.3.0-alpha.3"
+proptest = "0.9"
+proptest-derive = "0.1.0"