From 2f4c89cd3133517f58bc9e42f29220a1bbb66bcc Mon Sep 17 00:00:00 2001 From: Owen Jacobson 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 . 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 is to be believed, proptest is considerably closer to supporting async tests. --- proptest-regressions/twelve.txt | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 proptest-regressions/twelve.txt (limited to 'proptest-regressions') diff --git a/proptest-regressions/twelve.txt b/proptest-regressions/twelve.txt new file mode 100644 index 0000000..320b1b0 --- /dev/null +++ b/proptest-regressions/twelve.txt @@ -0,0 +1,9 @@ +# Seeds for failure cases proptest has generated in the past. It is +# automatically read and these particular cases re-run before any +# novel cases are generated. +# +# It is recommended to check this file in to source control so that +# everyone who runs the test benefits from these saved cases. +cc ee722004cd7dc5c8cfa8af5d83428a3c76f247525f738520e197ed67a0679b17 # shrinks to env_port = "", default_port = 0 +cc 8a8acaaebfe4e37af7655f14c3d9a394b2b3cc700936e36348158018ae8795ea # shrinks to env_port = "𐠁{�\"Tz`ﰃQ𑴉:*꠶䌁.", default_port = 42943 +cc f4d12f4f852ebcc99f6aa1a5208a392414d31dd98f025a7a905e1ef800d963af # shrinks to default_port = 65 -- cgit v1.2.3