Add another regression test case

ZcashFoundation · May 24, 2021 · 6797f41 · 6797f41
1 parent 5e80d3f
commit 6797f41
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/zebra-chain/proptest-regressions/primitives/redpallas/tests/prop.txt b/zebra-chain/proptest-regressions/primitives/redpallas/tests/prop.txt
@@ -5,3 +5,10 @@
 # It is recommended to check this file in to source control so that
 # everyone who runs the test benefits from these saved cases.
 cc 68e194dd66b253f8e9ce1719d48859faee091b599b0eaa28f5565a0cb8dda0d7 # shrinks to tweaks = [ChangePubkey, ChangePubkey, ChangePubkey, ChangePubkey], rng_seed = [123, 133, 115, 59, 239, 12, 212, 123, 117, 56, 130, 93, 113, 174, 68, 31, 112, 35, 70, 148, 60, 142, 15, 200, 183, 123, 209, 36, 75, 164, 166, 174]
+# 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 e31ba1ed4703731bee9d445f19eef0b9b3a4b83cf996bfe8f7c31ef199c7a7f5 # shrinks to tweaks = [ChangePubkey, ChangePubkey, ChangePubkey, ChangePubkey], rng_seed = [47, 76, 188, 189, 167, 109, 189, 126, 164, 51, 0, 11, 240, 53, 145, 194, 104, 117, 4, 96, 28, 48, 122, 25, 230, 14, 102, 21, 172, 162, 206, 139]