Add proptest regressions

This commit is contained in:
Vinzent Steinberg 2019-05-22 17:05:39 +02:00
parent 323028bbf4
commit 2c2632a564
1 changed files with 7 additions and 0 deletions

View File

@ -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]