From 2c2632a5642d26caef1b5ae7ee263d8b21cd5ad1 Mon Sep 17 00:00:00 2001 From: Vinzent Steinberg Date: Wed, 22 May 2019 17:05:39 +0200 Subject: [PATCH] Add proptest regressions --- tests/proptest.proptest-regressions | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 tests/proptest.proptest-regressions diff --git a/tests/proptest.proptest-regressions b/tests/proptest.proptest-regressions new file mode 100644 index 0000000..47c94d4 --- /dev/null +++ b/tests/proptest.proptest-regressions @@ -0,0 +1,7 @@ +# 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 f31f99beb8fdacb4476c3e003416a876bf04eb7719deffc242f73c92a658c462 # shrinks to s = [-40656272703337907000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000.0, 176307921146647040000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000.0]