Skip to content

Commit f255ade

Browse files
committed
Added proptest-regressions folder
1 parent 35c41f4 commit f255ade

14 files changed

+127
-0
lines changed
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
# Seeds for failure cases proptest has generated in the past. It is
2+
# automatically read and these particular cases re-run before any
3+
# novel cases are generated.
4+
#
5+
# It is recommended to check this file in to source control so that
6+
# everyone who runs the test benefits from these saved cases.
7+
cc cf952ed781b3eb33d66a48f93dcc9b64995d7e2e285b21eefdef6bd84625a46b # shrinks to a = 0.0, b = 0.0
8+
cc 4b1b017d23c8a89113947765e9293d01da4c4bf8ebb1f1fa46b5ba707485dae2 # shrinks to a = -4.462129874723309, b = -3.1620638004023967
9+
cc 77eda6773ec1bc563a7073758533b98b80f8a401480d4801df35d4ff3127c826 # shrinks to a = -3.842818829246761, b = -4.441874834284569
10+
cc 23a918900ab9424083b01c7e09efc5ded1d563f6651dca4fd887971f9e5695fe # shrinks to a = -3.3665542952195375, b = 3.902215609398605
11+
cc 18670a78f9b6973832011f64ad8c2e2d3d8447b45133ecc9c1edefe40e248945 # shrinks to a = 0.0, b = 1.0043603418428548
12+
cc 5bbc5c0c3d15941904c3bd4f8831c48f605d0dfc6abcbe3a4109778ced430827
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
# Seeds for failure cases proptest has generated in the past. It is
2+
# automatically read and these particular cases re-run before any
3+
# novel cases are generated.
4+
#
5+
# It is recommended to check this file in to source control so that
6+
# everyone who runs the test benefits from these saved cases.
7+
cc 5dd3b72cf3e95f8d3feaf7d68847a4ad8c8a1f6524d866ae7aa54ab9caf4c5ad # shrinks to a = -7.532494030528886, b = -9.17337256517899
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
# Seeds for failure cases proptest has generated in the past. It is
2+
# automatically read and these particular cases re-run before any
3+
# novel cases are generated.
4+
#
5+
# It is recommended to check this file in to source control so that
6+
# everyone who runs the test benefits from these saved cases.
7+
cc 0288bd8f88b0e7654e2962b5c7db069f54855b1f3343d7293112d1c2f412ee45 # shrinks to a = -10.064139470736675, b = 1.0184175182814807
8+
cc aeb945508ccffec27e56b7ec4043f759efb75b080e679751cdb843b7446dd964 # shrinks to a = -12.026591860150429, b = -0.41891412898840275
9+
cc 060b8e09cd3c7011681dd7f2df8aef4146302e83461bcaf53a93baf99e649633 # shrinks to a = -10.00677888905203, b = 1.001528001553812
10+
cc f7aa396a25f3c91f663455a26ed2feee5b8e186c9428e3da469037a48868a9cf # shrinks to a = -10.057093257548267, b = 1.011445246373522
11+
cc ec35bb4f34a049abb89b9b1244667e9fa9bd8ecf3ced35c3424e90ada6738252 # shrinks to a = -13.044641382099616, b = 1.702049540249661
12+
cc 1568c42838e56a3c13d472c7ba4c54cadeebae5ef529481499f80ef35b096591 # shrinks to a = -8.620906301983453, b = 0.7432319376605466
13+
cc 23e22b9c297b6babb66e19e98f1fe81d86a99eb35c367b88af2a4ef9b7cea479 # shrinks to a = -9.999291062664303, b = 0.9998564605614094
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
# Seeds for failure cases proptest has generated in the past. It is
2+
# automatically read and these particular cases re-run before any
3+
# novel cases are generated.
4+
#
5+
# It is recommended to check this file in to source control so that
6+
# everyone who runs the test benefits from these saved cases.
7+
cc 4920818eb47ad7eeb60e40b5142b037d6d0f1e3f441a2d48346dfce5a3649c47 # shrinks to a = 0.0, b = 0.0
8+
cc 00f700cabeec4e510ddf2d85dbbee657a142675d955104518b17b36db92741f1 # shrinks to a = 0.0, b = 0.0
9+
cc 63b676d72f4cb3b3c60302f96aebc4a5166efda9164f65b6340755cf878e18ce # shrinks to a = 9.424673089947401, b = 7.093863313303978
10+
cc 1fbc7a1c20754e3604d6cbfdbfc1bca20ce24b199cfbe68777fbe071ea60e8fc # shrinks to a = 3.141603489570993, b = -8.436932976955065
11+
cc 088a532c5f1d1be8275f1cc0e855bb24c439a4ee6a7b980bd890a36f68a1aa37 # shrinks to a = 0.0, b = 0.0
12+
cc ffd037cbe2117c72358a59650ec4330fd1d4c2f84de54b9d5c5ac86d26b8d5b3 # shrinks to a = -4.420260661861669, b = 2.9588131114699405
13+
cc ded91344dc0268dae917f297b7c4a4edaa26dda642a1bafc22a7e880b89527d8 # shrinks to a = -7.632489439001033, b = -3.5349542919291888
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# Seeds for failure cases proptest has generated in the past. It is
2+
# automatically read and these particular cases re-run before any
3+
# novel cases are generated.
4+
#
5+
# It is recommended to check this file in to source control so that
6+
# everyone who runs the test benefits from these saved cases.
7+
cc d1f4c5730483cbd05c49733e91c929776b61aed5cff3a984322e961ae5239488 # shrinks to a = -6.929832129276142, b = 4.127347920808204
8+
cc 6d6e5d73c55dfd7764e352e5e1ba7904d463ec4c93825fdcaae2f7c2a55b38ad # shrinks to a = 235.7039665926146, b = -464.8168767277398
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
# Seeds for failure cases proptest has generated in the past. It is
2+
# automatically read and these particular cases re-run before any
3+
# novel cases are generated.
4+
#
5+
# It is recommended to check this file in to source control so that
6+
# everyone who runs the test benefits from these saved cases.
7+
cc 9a4f97fda9a418e7ccc0172db3de2b38a321851368e5971611cd5cfcdc5e3dc8 # shrinks to a = 0.0, b = -157.56519969858982
8+
cc 029dcecf996cdeb1f6cde9d75e811b12433e4288911ab50ac18027a2074dcd8f # shrinks to a = 0.0, b = 0.8363992412990086
9+
cc bc0c8d07023f6f24583567d5589d88a2cd87e11d8b1a0bedb73c47936d93bac1 # shrinks to a = 0.0, b = 1.6869812770435713
10+
cc 32dd45912e9ca133e71746e06f4ad1b218c2fb6c66c82674d0564a28b4236fad # shrinks to a = -1.4800783336694465, b = 1.911998875579695
11+
cc 2453f65760810e2395093f6892da7d558bb92961c9cbb30a4b77d6e482df5622 # shrinks to a = -0.5880820593700061, b = 0.9473996756716865
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
# Seeds for failure cases proptest has generated in the past. It is
2+
# automatically read and these particular cases re-run before any
3+
# novel cases are generated.
4+
#
5+
# It is recommended to check this file in to source control so that
6+
# everyone who runs the test benefits from these saved cases.
7+
cc b45213d56d486930f5d67664c3650e4a3458180dbfc3b6b4936e940540527bb5 # shrinks to a = 0.0, b = -4.784695813115232
8+
cc 94a1a09f76d4f8849921c3e0b2917dc0bd28d1b8863817b9347f66442bbf4b45 # shrinks to a = 0.8086525825190839, b = 0.07260890816595535
9+
cc 90374ad0ae0ce04cc9fd74eca736197c6ce17e8c8360cf43cabd46ed027fdcc4 # shrinks to a = 4.74861781102792, b = 4.588108346834124
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
# Seeds for failure cases proptest has generated in the past. It is
2+
# automatically read and these particular cases re-run before any
3+
# novel cases are generated.
4+
#
5+
# It is recommended to check this file in to source control so that
6+
# everyone who runs the test benefits from these saved cases.
7+
cc 452a2aed23780fc2e86d7863c87ddb2c413bebdcf0164a3e8c7009970ca1f7a1 # shrinks to a = 0.0, b = 0.0
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
# Seeds for failure cases proptest has generated in the past. It is
2+
# automatically read and these particular cases re-run before any
3+
# novel cases are generated.
4+
#
5+
# It is recommended to check this file in to source control so that
6+
# everyone who runs the test benefits from these saved cases.
7+
cc c88e3199af421f5924d5e5e0655babb77f3926c97708caae072b08b9d7ca5b64 # shrinks to a = 0.0, b = 1.7526355639155826
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
# Seeds for failure cases proptest has generated in the past. It is
2+
# automatically read and these particular cases re-run before any
3+
# novel cases are generated.
4+
#
5+
# It is recommended to check this file in to source control so that
6+
# everyone who runs the test benefits from these saved cases.
7+
cc 3e5736d05df7b03a9703c030fd4f5a777024d9019b4f3af531f569e93b238741 # shrinks to a = 3.3238638891406045, b = -1.7874584930818493
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
# Seeds for failure cases proptest has generated in the past. It is
2+
# automatically read and these particular cases re-run before any
3+
# novel cases are generated.
4+
#
5+
# It is recommended to check this file in to source control so that
6+
# everyone who runs the test benefits from these saved cases.
7+
cc 8e289051f77d8ac74e2cc8699a73d8c8034d201b01e49ef4251cb8b8f5d5bdb5 # shrinks to a = 0.0, b = 2.345625139732665, c = -2.484074023995798, d = 4.845993399341542, e = 2.354931057240211, f = 2.9787172952472325, g = -0.6695655149267524, h = 1.8335987606397237
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# Seeds for failure cases proptest has generated in the past. It is
2+
# automatically read and these particular cases re-run before any
3+
# novel cases are generated.
4+
#
5+
# It is recommended to check this file in to source control so that
6+
# everyone who runs the test benefits from these saved cases.
7+
cc 889889507cac39bf49e25302c1fac9345e6669e1f50ce59514586ad5b8557a4b # shrinks to a = -27.97972346405281, b = 0.0
8+
cc 83c41c556d663637c30863401dc3abb409e8d0bb91cb9a6ac91a3db5ec7b9564 # shrinks to a = 0.0, b = 0.0, c = 0.0, d = 0.0, e = 0.0, f = 0.0, g = -9.150512708756755, h = 0.0
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
# Seeds for failure cases proptest has generated in the past. It is
2+
# automatically read and these particular cases re-run before any
3+
# novel cases are generated.
4+
#
5+
# It is recommended to check this file in to source control so that
6+
# everyone who runs the test benefits from these saved cases.
7+
cc bfcfc62b63f8b2ad167de12ae390144214b04732be9b923ba95e415b0fe06887 # shrinks to a = 0.0, b = 0.0
8+
cc d8937f4c5280409fb2c88b27cdd927f889467f5be01049d8136bc8c044b1fccf # shrinks to a = 0.0, b = 0.1785047285438819
9+
cc 9f0dd2d64c71665ae7ff0465d72b241e8a8502e88a92c4fcf572e9d584586927 # shrinks to a = 0.0, b = -26.945395663403247
10+
cc de1f3f17c4891a262528b9ae984974b7e724d1b551772b68abfaf5a6a689471a # shrinks to a = 1.6535365790451615, b = -4.2735555833610475
11+
cc 4ad880d0e517db6def95594529d224b6fc456cfab25a385e54fc03a82384d0a8 # shrinks to a = 16.762535556509537, b = 50.2148748818168
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
# Seeds for failure cases proptest has generated in the past. It is
2+
# automatically read and these particular cases re-run before any
3+
# novel cases are generated.
4+
#
5+
# It is recommended to check this file in to source control so that
6+
# everyone who runs the test benefits from these saved cases.
7+
cc ea4fd78a24980cfa4fa900677fdd3dd897d93f186e2332acc85b5bb28eefb592 # shrinks to a = 0.0, b = 0.0, c = 0.0, d = 9.48023984792883, e = 0.0, f = 0.538280636042317, g = -9.946188537837841, h = 0.0

0 commit comments

Comments
 (0)