From 2f4c89cd3133517f58bc9e42f29220a1bbb66bcc Mon Sep 17 00:00:00 2001
From: Owen Jacobson <owen@grimoire.ca>
Date: Thu, 18 Jun 2020 02:19:43 -0400
Subject: Switch from quickcheck to proptest.

The argument is as given in the proptest docs at
<https://altsysrq.github.io/proptest-book/proptest/vs-quickcheck.html>.
I've found that the resulting tests are somewhat clearer, and that the
tools for working with test case generation are more useful.

The other killer feature is recalling test failure examples from run to
run. This change includes at least one bug found while testing the port!

Finally, if <https://github.com/AltSysrq/proptest/issues/179> is to be
believed, proptest is considerably closer to supporting async tests.
---
 Cargo.toml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Cargo.toml')

diff --git a/Cargo.toml b/Cargo.toml
index d08aaee..b4ca8a7 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -28,5 +28,5 @@ features = ["actix-web"]
 
 [dev-dependencies]
 lazy_static = "~1.4"
-quickcheck = "~0.9"
-quickcheck_macros = "~0.9"
+proptest = "~0.10"
+proptest-derive = "~0.2"
-- 
cgit v1.2.3