diff options
| author | Owen Jacobson <owen@grimoire.ca> | 2020-06-26 21:00:36 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-26 21:00:36 -0400 |
| commit | ffdee71864aad8f9f3c4338c3dd056467528550f (patch) | |
| tree | be5b80ee3299b6167b21ff191de97badf2826208 /proptest-regressions | |
| parent | 0c07f57ba54cfc06b6411846c017bc79cee4a33a (diff) | |
| parent | 2f4c89cd3133517f58bc9e42f29220a1bbb66bcc (diff) | |
Merge pull request #12 from ojacobson/proptest
Switch from quickcheck to proptest.
Diffstat (limited to 'proptest-regressions')
| -rw-r--r-- | proptest-regressions/twelve.txt | 9 |
1 files changed, 9 insertions, 0 deletions
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 |