From 2b9231739cfb638217185bec41395e7c3cc033ca Mon Sep 17 00:00:00 2001 From: nobody Date: Thu, 20 Nov 2025 14:11:13 -0800 Subject: [PATCH] Add a new proptest failure seed; unsure if upstream regression or `zebra-crosslink` protoype-specific. --- .../proptest-regressions/block/tests/preallocate.txt | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 zebra-chain/proptest-regressions/block/tests/preallocate.txt diff --git a/zebra-chain/proptest-regressions/block/tests/preallocate.txt b/zebra-chain/proptest-regressions/block/tests/preallocate.txt new file mode 100644 index 00000000000..4312a7e2a40 --- /dev/null +++ b/zebra-chain/proptest-regressions/block/tests/preallocate.txt @@ -0,0 +1,8 @@ +# 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 b77b4787674f37b2bad401d134f60edfd90f0e00695184b9ef61c8ec5617b000 # shrinks to header = Header { version: 4, previous_block_hash: block::Hash("0000000000000000000000000000000000000000000000000000000000000000"), merkle_root: Root("0000000000000000000000000000000000000000000000000000000000000000"), commitment_bytes: [u8; 32]("0000000000000000000000000000000000000000000000000000000000000000"), time: 1970-01-01T00:00:00Z, difficulty_threshold: CompactDifficulty(0x20010000, Some(ExpandedDifficulty("0100000000000000000000000000000000000000000000000000000000000000"))), nonce: [u8; 32]("000000000000000000000003ab064744b410062e1cbbc9e327bc48c63864f1dd"), solution: EquihashSolution("a663acf3f9bbeef5dac84deaf6365979a6dc106ce5111489a9f94428901e6663493049941b14e390497f47a71ea697acdef8de47db05283c0d9b4f53b2298aa9f5e132cd33e036d68720e8ee44d5bb0ba42185a6679a5c7c6c04bc00830e812aa7311ec8a5305eb4216674db03384ed897460ff5f8ef4cc279e186615a5beb46b951ae77e25910368776e8abb9462dabdcf0b7d5162fb93139a39bd4acbc927d70a54a52fb2384823363b208eeecda9a60cab597cdd1ed61cbec9df5e070bee1785fe2347011a1f2fad36f95ce8cb7cceefa5a5dfbc35865e30ef8fb014b0e723686703e08a078249af4777fce37ebd1adf5d774f842552bd1bb943a18b6fa07f263848297d3fbe92389faf6e7e1eb2b69903bd2b50058b99b0c4af62db3e2330cdf49c77787de6dddb7020d07e5166371a701886a606059f77a7bcaeacf018df2b3973e2f8625da2cf14fac6d03ec1fbf6c13b753c92ff9aea2eb49bc3087a7d185e54016daa4f0089fbb22aea6f2304a208325cf4246be54b8236f87b816f958621585f4b79af5b46951b071e9d13b2109d99a83764f72bbda76d9ac6ee355642fa610f7721bb242ad8761e96cf30a44353a3ca75aecefc415e39e68d6fef10470237b64b242fe4854a27cfca6e1d28c42a92e7cc6920b6b8b3654a58e5d2b77d477c70087c55c2ae2db021abcd7d50483633e0a87bd1e2e084674e04f87b196951747fead11632fdf674070d1b613d36dd3104f208035fbd15fda81b5b831862db7c187c8643325f135e6e6bb5988ab5dc9e5a086f5b10c887292829d7512ae2314971fa57aa15ecaf489f2ced413d3be6fc3a899aa84753abe9b0687fd576800944995a8fc9a039ae2dad105d932687f5b5806c122dfbd385f90378ff1dcdf9829b2d71b0e0248c78b85ba7eb70b355b4255aafb93b850703c54e19c31fa035b33b7c3675debcb94604287a9319eb8945219abcfb63bd2e7c0a90f9f57655a663313041afee7ec82cc48a42671be6bae42b4e4d9a8c51d1edfd93421b81536b83c39192c93c82839e5b6a3ac217c1851d64e2ec3802a7c11300a21d13eee5026bae7b45af5396ea1cc6a4174091f3d45f58b08e674d2b20232e2541ec4acd37bc199718a8983ffbe0ec67a33c188bd09e04f005f381693ac56bcece9a084fac7b9b31b0d9eee89510c81ddbcb0b1fae29df858dca7b3bb11d4a0a80d9d85260189ef4f9cdca574afaf291f7e69de94647ed5a91726703430715172cd86001556b5301cc3b7371ae7793b486dc470a04b7daafddbcf55c5c573dd61db94bb7d2bdb0c413b81e1f97f39a8ec7128d50159a40e19e3bf966fff0d15e478051bc24f5318f0f07cc7633ebf8127686b57a33456bcc40c9904d9bd57fe3e87ace015517063ffd6dfa08e77435ab4b925ee03c167ad03e517f6116b45dfaa46b9e7e4f0398baf56446991fb587aed68dc15760c25a3bd57f6f4c38ce6d0bc7b4369b27c8704279b0edf681833d03a116cbcef361090375214eb826eb3d9810d3b5e77836a4188cb69e24206b0e09f3aea522ac1308df442f2c71a24164b753367864fa1cd745be999900d328a2580febdf94728c711648d642ae628eb9ef8366a5a4b435072e0e9588e7f983b5c63a5f1a86cb6f9e91a7923814ed703de9fea9ff47c0629544212a7ca3e694e9d33b1d0f946b6dacd5492868220db599da432d73a39f7a2992bdeca55daca3092904a072e53343409f0f7d8d376e8e696b599c969c3e21312512e96dc46124b945a781e4ea944aaaad758aaa45235970f26075ad18a2ed57625793d5a14bcf20383001b55e2d6b9ddf98701c49eaf35580da70c385dfa9cd4cd7539a9abb2b9cf00c47234c988696e4a6140daa7c0f1557744631e"), fat_pointer_to_bft_block: FatPointerToBftBlock { vote_for_block_without_finalizer_public_key: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], signatures: [] } } +cc dada0cb866dcb2b90056f75dd7d6ea8456720e71a6068414843ffdddbe471c3a # shrinks to header = Header { version: 4, previous_block_hash: block::Hash("0000000000000000000000000000000000000000000000000000000000000000"), merkle_root: Root("0000000000000000000000000000000000000000000000000000000000000000"), commitment_bytes: [u8; 32]("00000032149b8fc58dce9435b2b7065b0089b08f4644d98ffb8f2c4fecda9e75"), time: 2045-10-05T06:15:44Z, difficulty_threshold: CompactDifficulty(0x2100bfed, Some(ExpandedDifficulty("bfed000000000000000000000000000000000000000000000000000000000000"))), nonce: [u8; 32]("8f3126ae46517653fd5e9910e1d65f2afd163b292e218a300bf80df385570370"), solution: EquihashSolution("95fd839df5a81e288ef62eab14ebd492372c2039422ae8bdbbf0970fb01bcf1ec830f5130546fddd0647a3bb0fc2b7719b409162448a4d221cb0d06e0b96b0930def6f3d18c1c430fe6c059cecf416453d039cf134991058a19fc0f91074a33f389a48dc33a289a48202e03d6545578b3f79dceb3b5247d1ae60353822e6a3a1d958ee094af15cebc7d3e578726d7fe529f47348176a0d8daec97866351e32373cc9cb3188ef884f4c7773d13b07eb5499a9c5e91006fd48cf9ea10415431bac3ae7bfcefb1d4d97fa98ae34da0d086b78d42f11793190570fc7bea4d2b1a55da7b2d42a4a91d7fe95c3f777d7720a454268d03da15a8e44a3d43be239fd9b1e8facf5bedd2a15074078e6b22fb34fc50add77b4cc6192bf3863fa5f09cfb7c5dfad13b24c4d59a442922dcd464da077b9c53c647c77e0d6352920d1283ea09a288b249dc33c8539fe648fe802c83738d441b2e7452284fc2818b7770135ce12eb4e10f46b445902aad523f5dd4ae7188c701b17f7d1e48e58af18ee9404b59fdff3747208c2918e04957b1a72e73a2ab52c85995af7a5d1643056a09ad5ddc063aaef17f48c5129e4d6bdab6ce3e4aa0060c98318e385afe3614d1db1f8ecd088dc2e8ad3a104b3218e94d1fc5349893d788b208bd13ef9621c7f4a5d1ca09bc048a834837d3683786ba1fd6b45a474c992ae17b7a3bb6b677849d877f03747764d3d553e4145682f384058de583f392e2c738155cb67d1590833083e540640e7d3c22752b2817c9a085a957d34f724a3b223f64f8cd2257bee0e9cc5f31c5c9e9cb4b48791db34c21f82a6a0654a57c19c5be5394a70290ce14806b76f112b042cb3d1b54fd46029bef9564ceed97735d2dadf7bf0402a0cd17a8bba33c0484dfb7e4f260838a47f620929219b223efb361d406f4c4df75ffe4d8a3f639b87ef690fbe1d49130a5f447239543393cba243bbdbdefa95b0635d5b8b30578179b498b5b5016204c339ebd1006c042b08789c2c93b7dd2c3bd13435754ed5988414760ee6813e0ce9535ac3f926bde773a696723d8242a39f617d6ab6d4ee3b22a393d76f7d5cd3a04061e87aaa899fe5acdec1e593a6ad17ce86385ff6a99a0fe36984a2c409a0c945f8eafc0ef53a796b46946baf19d616a19b3916ee8752b24623d0d5b0ae35993ffa2394ffae8f9b1489e60676528c7a6d729b3ba744090d96a5cd701ea5e34857113fd4a1dd2c1601fded5e4c3ecc56f75c02ec0817546e586818ffef927b73de53955e419f1ae372097c8f947407f741ae498530a5f1c71f777ebcd0609e55c0000a9a6dcfb9a5648142898841a8ec288c72a16d1e809fb14734e1c3e6050faab26bda63ae628dcb34b1eb3bfe4abaccee3596b6286d60e4e403a747d2e98d0cc090e50bb4097d3bd012665831ea36f272e883e985936b8711d4c8b522fc877862e62852afd77f7f6b40a3e74f94007e101d6ef588c6dab9f347a9023272b4f60b36cc4d96487807d5f5ecebf0daff11d871a9d57d26c47324ada983717ece6c194af038ab93461899841455de77d4a734c0f2a985e7bd4d1900a3cf00405e2898517a3f751e5d1a90f6077e187d77ccad3fef61d3ce18dbdd174825e50a10451fde259bd51ac135ba2c8aa83bf043d7b610aca17fe25935d56172d5f8c5ad3c739b51fa339f4e8710bed7692ac652fdbb926fe15cd55eb6cd091bedb6baeab276025751e6f776b318fb78d137dd8cee3676d942de773957ded2d89326ef38454404e4de476b601e495734897eb1a36fdd3dce7a35b86719283242320eaecf3f5f2b9da5c89d15cb53e45605d7186383b043898c4df80e05e51ab373ed1ae811c6a1f8f2eee14603f3969f05776ab2af7eedf538966c91"), fat_pointer_to_bft_block: FatPointerToBftBlock { vote_for_block_without_finalizer_public_key: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], signatures: [] } }