diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-30 03:57:19 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-30 03:57:19 +0000 |
commit | a0b8f38ab54ac451646aa00cd5e91b6c76f22a84 (patch) | |
tree | fc451898ccaf445814e26b46664d78702178101d /vendor/proptest | |
parent | Adding debian version 1.71.1+dfsg1-2. (diff) | |
download | rustc-a0b8f38ab54ac451646aa00cd5e91b6c76f22a84.tar.xz rustc-a0b8f38ab54ac451646aa00cd5e91b6c76f22a84.zip |
Merging upstream version 1.72.1+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'vendor/proptest')
-rw-r--r-- | vendor/proptest/.cargo-checksum.json | 2 | ||||
-rw-r--r-- | vendor/proptest/CHANGELOG.md | 38 | ||||
-rw-r--r-- | vendor/proptest/Cargo.lock | 27 | ||||
-rw-r--r-- | vendor/proptest/Cargo.toml | 19 | ||||
-rw-r--r-- | vendor/proptest/README.md | 36 | ||||
-rw-r--r-- | vendor/proptest/src/arbitrary/_core/mod.rs | 1 | ||||
-rw-r--r-- | vendor/proptest/src/arbitrary/_core/non_zero.rs (renamed from vendor/proptest/src/arbitrary/non_zero.rs) | 18 | ||||
-rw-r--r-- | vendor/proptest/src/arbitrary/mod.rs | 1 | ||||
-rw-r--r-- | vendor/proptest/src/bits.rs | 10 | ||||
-rw-r--r-- | vendor/proptest/src/collection.rs | 15 | ||||
-rw-r--r-- | vendor/proptest/src/lib.rs | 9 | ||||
-rw-r--r-- | vendor/proptest/src/num.rs | 14 | ||||
-rw-r--r-- | vendor/proptest/src/string.rs | 53 | ||||
-rw-r--r-- | vendor/proptest/src/sugar.rs | 12 | ||||
-rw-r--r-- | vendor/proptest/src/test_runner/config.rs | 11 | ||||
-rw-r--r-- | vendor/proptest/src/test_runner/errors.rs | 9 | ||||
-rw-r--r-- | vendor/proptest/src/test_runner/failure_persistence/mod.rs | 1 | ||||
-rw-r--r-- | vendor/proptest/src/test_runner/result_cache.rs | 1 |
18 files changed, 175 insertions, 102 deletions
diff --git a/vendor/proptest/.cargo-checksum.json b/vendor/proptest/.cargo-checksum.json index 54c7cfd71..08d5d8e4f 100644 --- a/vendor/proptest/.cargo-checksum.json +++ b/vendor/proptest/.cargo-checksum.json @@ -1 +1 @@ -{"files":{"CHANGELOG.md":"928688937eeb3c64abbef9c289329a090c5498901cc46551f97b18b1691c2e5e","Cargo.lock":"627742e26bbee0ee46de1d770ca3df0d6ee012bd1c8d743b17d4702c3a949e84","Cargo.toml":"6dbff33edd18bdc162d8ee9034dc052bc8c8511208636105f20bdb264bd238bb","LICENSE-APACHE":"a60eea817514531668d7e00765731449fe14d059d3249e0bc93b36de45f759f2","LICENSE-MIT":"d8e0806926ce9f0a5030c382ecc0ffdf6de6fbea5c69a458435fd443fa7a5b92","README.md":"83b42572b7b5c41380ea367be7dccfd9b5797b1bb67683940b3c6ba93d5a48ae","examples/config-defaults.rs":"312ee1c5f98ee858d0401a092e0a87b4c3231095f87a5dd4e6ba3288600ef596","examples/dateparser_v1.rs":"5f91b684ce2d46d865f1f1c0e642efb351e4469067104213871d0fcb1b5a369a","examples/dateparser_v2.rs":"d91d93a7ae5fd7e18c535847bcb3e783f1bc461e9797c8f0b21bc0cec5dd812c","examples/fib.rs":"4740e33bbfb420648a6e49468c178083a7f4c04c8c7512653fed3fff3332edb0","examples/tutorial-simplify-play.rs":"2d048a86334589389b26416fc27f6154b20e182e3766125ffabaeb491dd9295f","examples/tutorial-strategy-play.rs":"3242ba366e52e6d8c66155c9545af3b8863589979fbc6623dd97f532c8fb5285","proptest-regressions/arbitrary/_std/env.txt":"3450a5867e58f6a6c4e5d50e4dce30283e2bf6d5389f48bfa1d535f1269c6516","proptest-regressions/test_runner/rng.txt":"978d8519044a3c6056fa3c99edfd1ff9dee184ff1e74a2592830d54be3f22e81","src/arbitrary/_alloc/alloc.rs":"bbbaf75f67a055ec9ffbe025e991d9138f2dcd462b69165e53d57964edbc053d","src/arbitrary/_alloc/borrow.rs":"0a3026aedc686a76eab6fef37673b13d87701c2a5c2d763615fd3283f89c552f","src/arbitrary/_alloc/boxed.rs":"54b0279c9e5acbff5b4a47f96d75ecf39b5209153b5b07f28437e8a2175a8ad9","src/arbitrary/_alloc/char.rs":"cf37be08bce70b9c38bd24036157097692c9b92d540b104fdd99c8ae751399a9","src/arbitrary/_alloc/collections.rs":"57322f54bdcb89c63a93eefe9f72830ea3d87c87fd51c00a6e151f7292a1c39d","src/arbitrary/_alloc/hash.rs":"266966af450e184e3461cdd09b0052c2c9cbaed0bf7534981cef95a239dacaff","src/arbitrary/_alloc/mod.rs":"b49db65bd88506b2b35cbed65c3da3d15c140214342d7d2bef6c180a22e503d4","src/arbitrary/_alloc/ops.rs":"6aa1c3a18bb8eb256a37e8db6e4398e368c9113b7018ecdc833d88ea8cf33b2c","src/arbitrary/_alloc/rc.rs":"a83680953b444454655cf15f3078838c4c1af4376f9b8482f3bb0e0c01825d92","src/arbitrary/_alloc/str.rs":"19b3d9739894f4f8fd51df8aa0dc5b856ae9283ce46b246887cf082ccfdb68e9","src/arbitrary/_alloc/sync.rs":"c5f8ca04acbb07102993acb6c1b718343201f1f4c44f59f679b853d00f059340","src/arbitrary/_core/ascii.rs":"f408be8715725de9b276eab3dd06c8cbe3320b16718bf632ded1a39fc45e05cf","src/arbitrary/_core/cell.rs":"c90aacfca33293fdd1d346590ac08766de8e84ced2248d4e67345a6f241fa965","src/arbitrary/_core/cmp.rs":"ea0bb9b99d3064f8749a744aaa40380eea12b267bd23cae6057bcc83bf57e921","src/arbitrary/_core/convert.rs":"830e889cf24e64d68d81706e45a33aef93450ee8430062817e1d288eb2e8b318","src/arbitrary/_core/fmt.rs":"e09f679e873b25f1d42e05daa189c802b48d639d83635c79d380a481afde27ce","src/arbitrary/_core/iter.rs":"721dbe2f741c1b6375604e22e9322cca03f31a4fb470d7b33f84e29687a97028","src/arbitrary/_core/marker.rs":"ba1368ff79549a84293b61652af0bd531941f5eacc9845b753edf221585b4430","src/arbitrary/_core/mem.rs":"23754b24a09d5ebfd5465f2b6d5674c3739d4da347075b067ed722d431ac1f70","src/arbitrary/_core/mod.rs":"b30ebd2a2e0606fb6aac4ad63eb8068fc189b576283bbd63299b9f5d21d32846","src/arbitrary/_core/num.rs":"0753a5ae6bf902036b5f6c063043bef1da940fc2ba5603235b900fa54b521cd1","src/arbitrary/_core/option.rs":"7a292712a67bbecac0c766854c8dffc5c8c0cf4cbbd85c43e5233029d4210769","src/arbitrary/_core/result.rs":"4fa76363a4ccb888eeccb1bb4b32a3d314c1c3596137829f0ec886263cb5702f","src/arbitrary/_std/env.rs":"625c594ec669d8199920badc3b76e2f43ec5383a4a0b007083772fb3b35cb138","src/arbitrary/_std/ffi.rs":"cfe50e4a027fa3c7e6ff7a744bbc7b91b2de1f837c1dfba31cdbf90f44407478","src/arbitrary/_std/fs.rs":"1a6d6ded0212686e7b136dd36052ba34d954079ca7e3fc1a6d6e631476ecc2f1","src/arbitrary/_std/io.rs":"344610d93aea9557bfe8d2ca1993e384465aea40d6b0816c4267593aa953fd2a","src/arbitrary/_std/mod.rs":"73845b1e2e31d6fe820143d427f48d9955f67f28ecd5344d9ca0c74928f6ddb7","src/arbitrary/_std/net.rs":"a6249487a7589385373ceb963f830037abdf465d5932c9ec806d85c218c3e16b","src/arbitrary/_std/panic.rs":"20380439a655610d5f5011cc6c16c7e7acfbb7d314a219746fd174f46ea1320f","src/arbitrary/_std/path.rs":"af8fd327ff6bc73686a7bf796694294c418607141dea991c063c4422da4ccbc2","src/arbitrary/_std/string.rs":"cd3031befb486a3410b01c70b4c58871358170aad35e86cd7d8709993f2bd9bc","src/arbitrary/_std/sync.rs":"c493847b5f5a3e10966beb423416c1b0dfd8c989c7a8cec99f53789b3aa03834","src/arbitrary/_std/thread.rs":"f004f74ea78b502b7e4b41919160d40b0d1820652ba664ec3a32a0bbaa5ad965","src/arbitrary/_std/time.rs":"ed622cdf756a1a6f7770c99b7b45cfbf7402db31f4dcf8473c3227ed8b8b54bc","src/arbitrary/arrays.rs":"0e78dde28fdad71327a2e08ec1d79c09526ef327f4abb59f6fea7073cf5f4679","src/arbitrary/functor.rs":"85aa44e04e1e6bef5beaa683180a9b4fe5dd670586d87be026ecf96e2d39b90a","src/arbitrary/macros.rs":"a3fe075811c1e711cb8ffef0557604f70df5e0a75d4110ed2f8516c4e324a24b","src/arbitrary/mod.rs":"228956db006885a4a084b3eb953ca8cdbcc3b44cb604771e67126a9f9fdfd97d","src/arbitrary/non_zero.rs":"512f0d937b7d6c7525eee64a18ad2a1ad2f1012cb504fd1c6adb1af18244283d","src/arbitrary/primitives.rs":"59d9a899853559d3eff1954e6d4c84e8d6999e0a8798fc9b152ea10accccb760","src/arbitrary/sample.rs":"45280f054eb04f7142a7afcc565d77534a78e626a76ad056569251a05d61f831","src/arbitrary/traits.rs":"bf3ce2f950ebbf359b592c5e39f8fbca2302cb2f45b93b185ccc1d81308a7d5b","src/arbitrary/tuples.rs":"5b92e767a74f11b25a262d6e6f9e54d13ca9e389ea42f2b78631b069a854c116","src/array.rs":"9b34119b364682ab383e2ed56210e95073f6d1af3d90e3064c9b527a37d30998","src/bits.rs":"344f1b91c79b1f20c63b3664f1bbda3c04a8e4c95963273eedb69c2dfcb7761c","src/bool.rs":"3e91477b0a5c29539380fdc1c065bfe5829099e3cfa7e50b1f8cf7857a01918b","src/char.rs":"c72bcd375f8e3d17ff1766baed1680cdd912902c697a04035c1e72ef35d2588b","src/collection.rs":"0b5dac7b8671b9feecb0f7097f15dff83d1314c86db2ca03b271fb3f5a496ce1","src/file-preamble":"a4a75492b40e467fa8d1bcf050e685ea4de56c3a76095d756488c554d76a4986","src/lib.rs":"38d1e61fb8e301f386df8660296c14923daeb97a68556ecde7bb6c0c3bbac61a","src/macros.rs":"4353f46ed0a68d20bca16ee261e375dd398b3415759710ac60bdcd281401e2d2","src/num.rs":"84f0632e42e67bd96adb3e5aa0f7a88a4b4f7fbdf1b4771b1d533a2c12e46628","src/num/float_samplers.rs":"894b5cff2fa57c3081b3f09421c74520347dda8b3d2fccf7ca4978fb0076e3f9","src/option.rs":"d817de4d217368ac402a803e35db57c3c2c0da2d863ca4058b579cf4175763ac","src/prelude.rs":"5f20305aa03047afa44da2fd220d689bcf6935e45edc0d9a9ee0497b603917a6","src/product_frunk.rs":"e7c2afc66c8e045105c4828e36ffcd17e6cb9b12a40ef99c7631854dab6d03c0","src/product_tuple.rs":"bdd2b8dcf05bc46eb6f3f331fa66b2a85106f1591046d1c3dc622a9aac3dd9bc","src/regex-contrib/README.md":"add72e2a9a34d4e67d647613970cbf5affc1d987ebe90858a487f3ee6e4032ce","src/regex-contrib/crates_regex.rs":"7812e91c25a2aad48ba024bcbeb8b922ffc1cfa3113a33615885d72d8a2cae64","src/result.rs":"51042be31c9a2a63f46c99f027b7d21ae17331c3c1250735870f0cc5b50e7cdb","src/sample.rs":"e7064f622263fae7da23c16e55cd1d847ad0e46a718402bc0ec3e6e513cb1ae6","src/std_facade.rs":"fec624264d5a849e99131fde58ff0ac8cc99e4e2c9672f9c031bb7b9c7d3e95c","src/strategy/filter.rs":"06b59ed9186d5d1459e9b3d73c1a8d873079af45c3faba1feacbd1c296108cec","src/strategy/filter_map.rs":"2f8f3cc5409077036e1b3f91c5ec40332001ac0fde354e87f679d289a4f1e9d6","src/strategy/flatten.rs":"2e933564191e05d619f0c1669000b1ec2af74bed6719856edbf8c21cb10deceb","src/strategy/fuse.rs":"c9f1c388150686d6f89e37c5ec95c2ac2991708c1d11427ad0c55de9ad96f155","src/strategy/just.rs":"a1b34f10d44c46b93bf399f8aae443a50f96a97d6150691444acffe26956dd86","src/strategy/lazy.rs":"4822adec0f3b24b865242c2b25799e7bca45963314092557494efa53cafd6e87","src/strategy/map.rs":"4dbc65fdb2c3d40c9e944d0234d984ba018899d342ef3f561013a0548849b09e","src/strategy/mod.rs":"20762d1ad18ef5f5a86fd2d2eb7fe286930a297ea448afffc7f3a22c3c5ef2a3","src/strategy/recursive.rs":"7922681623105fb5d1cc08e889081fb793be778195a6d104dffeed11a4da6d4c","src/strategy/shuffle.rs":"9eacb43e73178b8c1422442a6dfae18c1a0613056a34311f0411266d5c5aab39","src/strategy/statics.rs":"36978b39a6990892916f6d0d6b5fa3de02f84747ea7540c4c548863f4561eae2","src/strategy/traits.rs":"e7ddf04aab1a4c50b996e1eb67348f786e707089f6178707317a535eaf573a72","src/strategy/unions.rs":"5cd758fe6ce5aa11dae90b61795df69322b6a3ec8d60183893425aae92869959","src/string.rs":"8a6b54a10713cb5e9a5a63e4298c77873074e6d5788be8ef5324b5b8f050fed7","src/sugar.rs":"41b22a66e491905107e0fe72856c3dd73c673be13e3ffc043078d2579a921f18","src/test_runner/config.rs":"0bb738164a5534eeb4359093ca63656ac2fa0386043e405c9f4b06e9fd833eb7","src/test_runner/errors.rs":"347e199fc03179cf761081c881d6d53addde9817b5d2adea4e2077d699b50f4c","src/test_runner/failure_persistence/file.rs":"87690cd6cc66cad86eed69ea957061a6a3ca11b807d9a4a9fef5fdad59350080","src/test_runner/failure_persistence/map.rs":"b00bc6cc1650cc9fb432d201c19bf0ba1f5b6255b8c7f1e067a184531da345f9","src/test_runner/failure_persistence/mod.rs":"69737f233b464f047bb6e6e13db15db57371a929aefd52acb6d79fa46af40314","src/test_runner/failure_persistence/noop.rs":"fada8a1f66ade1983d5cfd839da2726ee72b1b1a39927b484590be65cacd2ab8","src/test_runner/mod.rs":"738e90f1556b9ce98924da0699dc5ada59a44816aed3ca5069099d52e8b70c36","src/test_runner/reason.rs":"f3b62a8175fd3b91e216b0f607a2b5a36808a77642eeac207774e193894d7bbb","src/test_runner/replay.rs":"de8c3310af00ab27920416386d0e65870a32d6ef8f2eed1cfb8b0f8079ba7fcc","src/test_runner/result_cache.rs":"1a7039ce31f114ed89bb398540a5bdb6ce4ecc5d5774e47f2028c44e19369d3b","src/test_runner/rng.rs":"863b784b3812c6bb68e4cab27baea8a92fbc3becac09bdbe356f35f761a8f2b8","src/test_runner/runner.rs":"3df3b056e0d0476a8ee44418577824941778f32d561864e6184c57b03451ed69","src/tuple.rs":"378da5204c9e14277dc5b1af29b49e1feaf508f67dec1a0493614df47034868b","test-persistence-location/README.md":"83c3b124b9203f711b8a7ecfb126db96d66bbe73831288c9ee1fb030acfe44a9","test-persistence-location/run-tests.bat":"ba04781900565fd1cec389dd0f9a1c67dd2d0e23b06e63de2b53365e3985c78f","test-persistence-location/run-tests.sh":"03f05cf0409baabf39b0aca33d659e6385306eaccf036fe47e0155a97dd64afb"},"package":"29f1b898011ce9595050a68e60f90bad083ff2987a695a42357134c8381fba70"}
\ No newline at end of file +{"files":{"CHANGELOG.md":"7723c4eb327261d2dd8b7b273e90a67b5144cf3ea44f3fc25e0c36ce55054bc9","Cargo.lock":"3cf7f4fd75ebc7332453be0ce9898546eae54329ead013ab8dffc1cdad85ec48","Cargo.toml":"149a9dd8517abf124d8dc54beff8afb4315bfe798e2683813e3dd9f31e5618fe","LICENSE-APACHE":"a60eea817514531668d7e00765731449fe14d059d3249e0bc93b36de45f759f2","LICENSE-MIT":"d8e0806926ce9f0a5030c382ecc0ffdf6de6fbea5c69a458435fd443fa7a5b92","README.md":"866e4fe1252e36bdf5bd5d0317d2d147764c15d7ae1cc6866209cb0b7e11c3c4","examples/config-defaults.rs":"312ee1c5f98ee858d0401a092e0a87b4c3231095f87a5dd4e6ba3288600ef596","examples/dateparser_v1.rs":"5f91b684ce2d46d865f1f1c0e642efb351e4469067104213871d0fcb1b5a369a","examples/dateparser_v2.rs":"d91d93a7ae5fd7e18c535847bcb3e783f1bc461e9797c8f0b21bc0cec5dd812c","examples/fib.rs":"4740e33bbfb420648a6e49468c178083a7f4c04c8c7512653fed3fff3332edb0","examples/tutorial-simplify-play.rs":"2d048a86334589389b26416fc27f6154b20e182e3766125ffabaeb491dd9295f","examples/tutorial-strategy-play.rs":"3242ba366e52e6d8c66155c9545af3b8863589979fbc6623dd97f532c8fb5285","proptest-regressions/arbitrary/_std/env.txt":"3450a5867e58f6a6c4e5d50e4dce30283e2bf6d5389f48bfa1d535f1269c6516","proptest-regressions/test_runner/rng.txt":"978d8519044a3c6056fa3c99edfd1ff9dee184ff1e74a2592830d54be3f22e81","src/arbitrary/_alloc/alloc.rs":"bbbaf75f67a055ec9ffbe025e991d9138f2dcd462b69165e53d57964edbc053d","src/arbitrary/_alloc/borrow.rs":"0a3026aedc686a76eab6fef37673b13d87701c2a5c2d763615fd3283f89c552f","src/arbitrary/_alloc/boxed.rs":"54b0279c9e5acbff5b4a47f96d75ecf39b5209153b5b07f28437e8a2175a8ad9","src/arbitrary/_alloc/char.rs":"cf37be08bce70b9c38bd24036157097692c9b92d540b104fdd99c8ae751399a9","src/arbitrary/_alloc/collections.rs":"57322f54bdcb89c63a93eefe9f72830ea3d87c87fd51c00a6e151f7292a1c39d","src/arbitrary/_alloc/hash.rs":"266966af450e184e3461cdd09b0052c2c9cbaed0bf7534981cef95a239dacaff","src/arbitrary/_alloc/mod.rs":"b49db65bd88506b2b35cbed65c3da3d15c140214342d7d2bef6c180a22e503d4","src/arbitrary/_alloc/ops.rs":"6aa1c3a18bb8eb256a37e8db6e4398e368c9113b7018ecdc833d88ea8cf33b2c","src/arbitrary/_alloc/rc.rs":"a83680953b444454655cf15f3078838c4c1af4376f9b8482f3bb0e0c01825d92","src/arbitrary/_alloc/str.rs":"19b3d9739894f4f8fd51df8aa0dc5b856ae9283ce46b246887cf082ccfdb68e9","src/arbitrary/_alloc/sync.rs":"c5f8ca04acbb07102993acb6c1b718343201f1f4c44f59f679b853d00f059340","src/arbitrary/_core/ascii.rs":"f408be8715725de9b276eab3dd06c8cbe3320b16718bf632ded1a39fc45e05cf","src/arbitrary/_core/cell.rs":"c90aacfca33293fdd1d346590ac08766de8e84ced2248d4e67345a6f241fa965","src/arbitrary/_core/cmp.rs":"ea0bb9b99d3064f8749a744aaa40380eea12b267bd23cae6057bcc83bf57e921","src/arbitrary/_core/convert.rs":"830e889cf24e64d68d81706e45a33aef93450ee8430062817e1d288eb2e8b318","src/arbitrary/_core/fmt.rs":"e09f679e873b25f1d42e05daa189c802b48d639d83635c79d380a481afde27ce","src/arbitrary/_core/iter.rs":"721dbe2f741c1b6375604e22e9322cca03f31a4fb470d7b33f84e29687a97028","src/arbitrary/_core/marker.rs":"ba1368ff79549a84293b61652af0bd531941f5eacc9845b753edf221585b4430","src/arbitrary/_core/mem.rs":"23754b24a09d5ebfd5465f2b6d5674c3739d4da347075b067ed722d431ac1f70","src/arbitrary/_core/mod.rs":"06460f0d6b94f9e416df2def04f802a3f83de648de06dae384ddfc81e84f8d4a","src/arbitrary/_core/non_zero.rs":"67091b5fdbf6624a0c8ce40cf6574e26539d620af413ed006eb76085061dbb3f","src/arbitrary/_core/num.rs":"0753a5ae6bf902036b5f6c063043bef1da940fc2ba5603235b900fa54b521cd1","src/arbitrary/_core/option.rs":"7a292712a67bbecac0c766854c8dffc5c8c0cf4cbbd85c43e5233029d4210769","src/arbitrary/_core/result.rs":"4fa76363a4ccb888eeccb1bb4b32a3d314c1c3596137829f0ec886263cb5702f","src/arbitrary/_std/env.rs":"625c594ec669d8199920badc3b76e2f43ec5383a4a0b007083772fb3b35cb138","src/arbitrary/_std/ffi.rs":"cfe50e4a027fa3c7e6ff7a744bbc7b91b2de1f837c1dfba31cdbf90f44407478","src/arbitrary/_std/fs.rs":"1a6d6ded0212686e7b136dd36052ba34d954079ca7e3fc1a6d6e631476ecc2f1","src/arbitrary/_std/io.rs":"344610d93aea9557bfe8d2ca1993e384465aea40d6b0816c4267593aa953fd2a","src/arbitrary/_std/mod.rs":"73845b1e2e31d6fe820143d427f48d9955f67f28ecd5344d9ca0c74928f6ddb7","src/arbitrary/_std/net.rs":"a6249487a7589385373ceb963f830037abdf465d5932c9ec806d85c218c3e16b","src/arbitrary/_std/panic.rs":"20380439a655610d5f5011cc6c16c7e7acfbb7d314a219746fd174f46ea1320f","src/arbitrary/_std/path.rs":"af8fd327ff6bc73686a7bf796694294c418607141dea991c063c4422da4ccbc2","src/arbitrary/_std/string.rs":"cd3031befb486a3410b01c70b4c58871358170aad35e86cd7d8709993f2bd9bc","src/arbitrary/_std/sync.rs":"c493847b5f5a3e10966beb423416c1b0dfd8c989c7a8cec99f53789b3aa03834","src/arbitrary/_std/thread.rs":"f004f74ea78b502b7e4b41919160d40b0d1820652ba664ec3a32a0bbaa5ad965","src/arbitrary/_std/time.rs":"ed622cdf756a1a6f7770c99b7b45cfbf7402db31f4dcf8473c3227ed8b8b54bc","src/arbitrary/arrays.rs":"0e78dde28fdad71327a2e08ec1d79c09526ef327f4abb59f6fea7073cf5f4679","src/arbitrary/functor.rs":"85aa44e04e1e6bef5beaa683180a9b4fe5dd670586d87be026ecf96e2d39b90a","src/arbitrary/macros.rs":"a3fe075811c1e711cb8ffef0557604f70df5e0a75d4110ed2f8516c4e324a24b","src/arbitrary/mod.rs":"6e1ccaa5c389411dc5a4501da785f42f4439bdd28295be573507346daeef6a00","src/arbitrary/primitives.rs":"59d9a899853559d3eff1954e6d4c84e8d6999e0a8798fc9b152ea10accccb760","src/arbitrary/sample.rs":"45280f054eb04f7142a7afcc565d77534a78e626a76ad056569251a05d61f831","src/arbitrary/traits.rs":"bf3ce2f950ebbf359b592c5e39f8fbca2302cb2f45b93b185ccc1d81308a7d5b","src/arbitrary/tuples.rs":"5b92e767a74f11b25a262d6e6f9e54d13ca9e389ea42f2b78631b069a854c116","src/array.rs":"9b34119b364682ab383e2ed56210e95073f6d1af3d90e3064c9b527a37d30998","src/bits.rs":"4eeee066d9aa0c4c1921991a61e56338a5db4a4e8deffb0c5746e856569a0ed6","src/bool.rs":"3e91477b0a5c29539380fdc1c065bfe5829099e3cfa7e50b1f8cf7857a01918b","src/char.rs":"c72bcd375f8e3d17ff1766baed1680cdd912902c697a04035c1e72ef35d2588b","src/collection.rs":"9dbb3530383dc8ce566cbc2cdc0198e442ac1c19368d074dce9eba523d137b84","src/file-preamble":"a4a75492b40e467fa8d1bcf050e685ea4de56c3a76095d756488c554d76a4986","src/lib.rs":"d6ac1e34347bb76e3d6cee472023fc461331928806cae35ea13f118ee7ad4816","src/macros.rs":"4353f46ed0a68d20bca16ee261e375dd398b3415759710ac60bdcd281401e2d2","src/num.rs":"4fc9bb305f3a026f8907beae86c693240eeed07fc1d8d01c7a25f2f19ef36d71","src/num/float_samplers.rs":"894b5cff2fa57c3081b3f09421c74520347dda8b3d2fccf7ca4978fb0076e3f9","src/option.rs":"d817de4d217368ac402a803e35db57c3c2c0da2d863ca4058b579cf4175763ac","src/prelude.rs":"5f20305aa03047afa44da2fd220d689bcf6935e45edc0d9a9ee0497b603917a6","src/product_frunk.rs":"e7c2afc66c8e045105c4828e36ffcd17e6cb9b12a40ef99c7631854dab6d03c0","src/product_tuple.rs":"bdd2b8dcf05bc46eb6f3f331fa66b2a85106f1591046d1c3dc622a9aac3dd9bc","src/regex-contrib/README.md":"add72e2a9a34d4e67d647613970cbf5affc1d987ebe90858a487f3ee6e4032ce","src/regex-contrib/crates_regex.rs":"7812e91c25a2aad48ba024bcbeb8b922ffc1cfa3113a33615885d72d8a2cae64","src/result.rs":"51042be31c9a2a63f46c99f027b7d21ae17331c3c1250735870f0cc5b50e7cdb","src/sample.rs":"e7064f622263fae7da23c16e55cd1d847ad0e46a718402bc0ec3e6e513cb1ae6","src/std_facade.rs":"fec624264d5a849e99131fde58ff0ac8cc99e4e2c9672f9c031bb7b9c7d3e95c","src/strategy/filter.rs":"06b59ed9186d5d1459e9b3d73c1a8d873079af45c3faba1feacbd1c296108cec","src/strategy/filter_map.rs":"2f8f3cc5409077036e1b3f91c5ec40332001ac0fde354e87f679d289a4f1e9d6","src/strategy/flatten.rs":"2e933564191e05d619f0c1669000b1ec2af74bed6719856edbf8c21cb10deceb","src/strategy/fuse.rs":"c9f1c388150686d6f89e37c5ec95c2ac2991708c1d11427ad0c55de9ad96f155","src/strategy/just.rs":"a1b34f10d44c46b93bf399f8aae443a50f96a97d6150691444acffe26956dd86","src/strategy/lazy.rs":"4822adec0f3b24b865242c2b25799e7bca45963314092557494efa53cafd6e87","src/strategy/map.rs":"4dbc65fdb2c3d40c9e944d0234d984ba018899d342ef3f561013a0548849b09e","src/strategy/mod.rs":"20762d1ad18ef5f5a86fd2d2eb7fe286930a297ea448afffc7f3a22c3c5ef2a3","src/strategy/recursive.rs":"7922681623105fb5d1cc08e889081fb793be778195a6d104dffeed11a4da6d4c","src/strategy/shuffle.rs":"9eacb43e73178b8c1422442a6dfae18c1a0613056a34311f0411266d5c5aab39","src/strategy/statics.rs":"36978b39a6990892916f6d0d6b5fa3de02f84747ea7540c4c548863f4561eae2","src/strategy/traits.rs":"e7ddf04aab1a4c50b996e1eb67348f786e707089f6178707317a535eaf573a72","src/strategy/unions.rs":"5cd758fe6ce5aa11dae90b61795df69322b6a3ec8d60183893425aae92869959","src/string.rs":"aa3214c1fc3d9824bf84397384989348015840458e5491ac3fe04071591d7119","src/sugar.rs":"8e59dbc4804d2ec23362041c54b34fd60dffc3350d28a4b8f28ee64f867c09ea","src/test_runner/config.rs":"96e0ea2609efb9556a16f7a637ba568b8c85ff5a32003acb49179cbb3e881626","src/test_runner/errors.rs":"3256836e74da7b52168c173f396d03aea913dce581ac7d0065fa9621021bb755","src/test_runner/failure_persistence/file.rs":"87690cd6cc66cad86eed69ea957061a6a3ca11b807d9a4a9fef5fdad59350080","src/test_runner/failure_persistence/map.rs":"b00bc6cc1650cc9fb432d201c19bf0ba1f5b6255b8c7f1e067a184531da345f9","src/test_runner/failure_persistence/mod.rs":"42393d664c6171ae712cc534adbb1c4448a9196fac4acd87aa55f70d276ce911","src/test_runner/failure_persistence/noop.rs":"fada8a1f66ade1983d5cfd839da2726ee72b1b1a39927b484590be65cacd2ab8","src/test_runner/mod.rs":"738e90f1556b9ce98924da0699dc5ada59a44816aed3ca5069099d52e8b70c36","src/test_runner/reason.rs":"f3b62a8175fd3b91e216b0f607a2b5a36808a77642eeac207774e193894d7bbb","src/test_runner/replay.rs":"de8c3310af00ab27920416386d0e65870a32d6ef8f2eed1cfb8b0f8079ba7fcc","src/test_runner/result_cache.rs":"da685cb01657d247b2d49bb9101e2b9cef3f2c51f1754735eef62170d92896a1","src/test_runner/rng.rs":"863b784b3812c6bb68e4cab27baea8a92fbc3becac09bdbe356f35f761a8f2b8","src/test_runner/runner.rs":"3df3b056e0d0476a8ee44418577824941778f32d561864e6184c57b03451ed69","src/tuple.rs":"378da5204c9e14277dc5b1af29b49e1feaf508f67dec1a0493614df47034868b","test-persistence-location/README.md":"83c3b124b9203f711b8a7ecfb126db96d66bbe73831288c9ee1fb030acfe44a9","test-persistence-location/run-tests.bat":"ba04781900565fd1cec389dd0f9a1c67dd2d0e23b06e63de2b53365e3985c78f","test-persistence-location/run-tests.sh":"03f05cf0409baabf39b0aca33d659e6385306eaccf036fe47e0155a97dd64afb"},"package":"4e35c06b98bf36aba164cc17cb25f7e232f5c4aeea73baa14b8a9f0d92dbfa65"}
\ No newline at end of file diff --git a/vendor/proptest/CHANGELOG.md b/vendor/proptest/CHANGELOG.md index 3564abc1f..5ee6cc266 100644 --- a/vendor/proptest/CHANGELOG.md +++ b/vendor/proptest/CHANGELOG.md @@ -1,5 +1,29 @@ ## Unreleased +## 1.2.0 + +### Breaking Changes + +- `PROPTEST_` environment variables now take precedence over tests' non-default + configuration. + +### Bug Fixes + +- Don't implement Arbitrary for NonZeroU128 and NonZeroI128 on wasm targets where + u128 and i128 Arbitrary impls don't exist + +### New Features + +### Other Notes + +- Minimal failing input is now printed using debug pretty-printing +- Made public `VarBitSet`, `SizeRange` read-only methods and num sampling + functions in preparation for release of a `proptest-state-machine` crate. +- Removed dependency on `quick_error` +- Start publishing MSRV + +## 1.1.0 + ### Bug Fixes - Sampling from large ranges of floats such as `(0f32)..` no longer panics @@ -16,6 +40,8 @@ - `try_reserve` is stable so removed from unstable features - `try_trait` has been changed to `try_trait_v2` so that was adjusted in `Cargo.toml`. +- `prop_assert_ne!` now uses fully qualified `prop_assert_eq!` +- Persisted tests are not counted against the number of cases to run ### New Features @@ -23,6 +49,10 @@ - Add `Arbitrary` impls for `core::num::NonZero*` - Adds ability to disable failure persistence via env var `PROPTEST_DISABLE_FAILURE_PERSISTENCE` +### Other Notes + +- `proptest` no longer depends on the `quick-error` crate. + ## 1.0.0 ### Breaking Changes @@ -92,7 +122,7 @@ ### Bug Fixes -- Fixed [#186](https://github.com/AltSysrq/proptest/issues/186), +- Fixed [#186](https://github.com/proptest-rs/proptest/issues/186), a Rust future-compatibility issue. ## 0.9.5 @@ -207,7 +237,7 @@ makes it possible to use an external source of entropy with Proptest. - There is now a work-around for a [compiler bug](https://github.com/rust-lang/rust/issues/52478) which prevents building with `-C link-dead-code`. Please see this issue for details: - https://github.com/AltSysrq/proptest/issues/124 + https://github.com/proptest-rs/proptest/issues/124 ### Deprecations @@ -522,7 +552,7 @@ features. - Fix that failure persistence file would be written to the incorrect location in projects using workspaces. See - [#24](https://github.com/AltSysrq/proptest/issues/24) for more details and + [#24](https://github.com/proptest-rs/proptest/issues/24) for more details and instructions on how to migrate any persistence files that had been written to the wrong location. @@ -742,7 +772,7 @@ features. - Cases where `file!()` returns a relative path, such as on Windows, are now handled more reasonably. See - [#24](https://github.com/AltSysrq/proptest/issues/24) for more details and + [#24](https://github.com/proptest-rs/proptest/issues/24) for more details and instructions on how to migrate any persistence files that had been written to the wrong location. diff --git a/vendor/proptest/Cargo.lock b/vendor/proptest/Cargo.lock index cea6b2ad4..f62736d08 100644 --- a/vendor/proptest/Cargo.lock +++ b/vendor/proptest/Cargo.lock @@ -4,9 +4,9 @@ version = 3 [[package]] name = "aho-corasick" -version = "0.7.20" +version = "0.7.19" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "cc936419f96fa211c1b9166887b38e5e40b19958e5b895be7c1f93adec7071ac" +checksum = "b4f55bd91a0978cbfd91c457a164bab8b4001c833b7f323132c0a4e1922dd44e" dependencies = [ "memchr", ] @@ -99,9 +99,9 @@ checksum = "e2abad23fbc42b3700f2f279844dc832adb2b2eb069b2df918f455c4e18cc646" [[package]] name = "libc" -version = "0.2.139" +version = "0.2.137" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "201de327520df007757c1f0adce6e827fe8562fbc28bfd9c15571c66ca1f5f79" +checksum = "fc7fcc620a3bff7cdd7a365be3376c97191aeaccc2a603e600951e452615bf89" [[package]] name = "libm" @@ -133,14 +133,13 @@ checksum = "5b40af805b3121feab8a3c29f04d8ad262fa8e0561883e7653e024ae4479e6de" [[package]] name = "proptest" -version = "1.1.0" +version = "1.2.0" dependencies = [ "bit-set", "bitflags", "byteorder", "lazy_static", "num-traits", - "quick-error 2.0.1", "rand", "rand_chacha", "rand_xorshift", @@ -159,12 +158,6 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "a1d01941d82fa2ab50be1e79e6714289dd7cde78eba4c074bc5a4374f650dfe0" [[package]] -name = "quick-error" -version = "2.0.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a993555f31e5a609f617c12db6250dedcac1b0a85076912c436e6fc9b2c8e6a3" - -[[package]] name = "rand" version = "0.8.5" source = "registry+https://github.com/rust-lang/crates.io-index" @@ -205,9 +198,9 @@ dependencies = [ [[package]] name = "raw-cpuid" -version = "10.6.1" +version = "10.6.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c307f7aacdbab3f0adee67d52739a1d71112cc068d6fab169ddeb18e48877fad" +checksum = "a6823ea29436221176fe662da99998ad3b4db2c7f31e7b6f5fe43adccd6320bb" dependencies = [ "bitflags", ] @@ -223,9 +216,9 @@ dependencies = [ [[package]] name = "regex" -version = "1.7.1" +version = "1.7.0" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "48aaa5748ba571fb95cd2c85c09f629215d3a6ece942baa100950af03a34f733" +checksum = "e076559ef8e241f2ae3479e36f97bd5741c0330689e217ad51ce2c76808b868a" dependencies = [ "aho-corasick", "memchr", @@ -254,7 +247,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "cb3dcc6e454c328bb824492db107ab7c0ae8fcffe4ad210136ef014458c1bc4f" dependencies = [ "fnv", - "quick-error 1.2.3", + "quick-error", "tempfile", "wait-timeout", ] diff --git a/vendor/proptest/Cargo.toml b/vendor/proptest/Cargo.toml index 1d03f9c0b..e90054914 100644 --- a/vendor/proptest/Cargo.toml +++ b/vendor/proptest/Cargo.toml @@ -11,8 +11,9 @@ [package] edition = "2018" +rust-version = "1.60" name = "proptest" -version = "1.1.0" +version = "1.2.0" authors = ["Jason Lingle"] exclude = [ "/gen-*.sh", @@ -21,8 +22,8 @@ exclude = [ description = """ Hypothesis-like property-based testing and shrinking. """ -homepage = "https://altsysrq.github.io/proptest-book/proptest/index.html" -documentation = "https://altsysrq.github.io/rustdoc/proptest/1.0.0/proptest/" +homepage = "https://proptest-rs.github.io/proptest/proptest/index.html" +documentation = "https://docs.rs/proptest/latest/proptest/" readme = "README.md" keywords = [ "property", @@ -35,6 +36,13 @@ categories = ["development-tools::testing"] license = "MIT/Apache-2.0" repository = "https://github.com/proptest-rs/proptest" +[package.metadata.docs.rs] +all-features = true +rustdoc-args = [ + "--cfg", + "docsrs", +] + [dependencies.bit-set] version = "0.5.0" optional = true @@ -55,10 +63,6 @@ version = "0.2.15" features = ["libm"] default-features = false -[dependencies.quick-error] -version = "2.0.0" -optional = true - [dependencies.rand] version = "0.8" features = ["alloc"] @@ -121,7 +125,6 @@ std = [ "rand/std", "byteorder/std", "lazy_static", - "quick-error", "regex-syntax", "num-traits/std", ] diff --git a/vendor/proptest/README.md b/vendor/proptest/README.md index be14e7547..6e75df06b 100644 --- a/vendor/proptest/README.md +++ b/vendor/proptest/README.md @@ -1,17 +1,22 @@ # Proptest -[![Build Status](https://github.com/AltSysrq/proptest/workflows/Rust/badge.svg?branch=master)](https://github.com/AltSysrq/proptest/actions) +[![Build Status](https://github.com/proptest-rs/proptest/workflows/Rust/badge.svg?branch=master)](https://github.com/proptest-rs/proptest/actions) [![Build status](https://ci.appveyor.com/api/projects/status/ofe98xfthbx1m608/branch/master?svg=true)](https://ci.appveyor.com/project/AltSysrq/proptest/branch/master) -[![](http://meritbadge.herokuapp.com/proptest)](https://crates.io/crates/proptest) -[![](https://img.shields.io/website/https/altsysrq.github.io/proptest-book.svg)][book] +[![](https://img.shields.io/crates/v/proptest.svg)](https://crates.io/crates/proptest) +[![](https://img.shields.io/website/https/proptest-rs.github.io/proptest.svg)][book] [![](https://docs.rs/proptest/badge.svg)][api-docs] -[book]: https://altsysrq.github.io/proptest-book/intro.html -[api-docs]: https://altsysrq.github.io/rustdoc/proptest/latest/proptest/ +[book]: https://proptest-rs.github.io/proptest/intro.html +[api-docs]: https://docs.rs/proptest/latest/proptest/ + +## Book + +A detailed introduction to proptest can be found in the [book](https://proptest-rs.github.io/proptest/) + ## Introduction Proptest is a property testing framework (i.e., the QuickCheck family) -inspired by the [Hypothesis](http://hypothesis.works/) framework for +inspired by the [Hypothesis](https://hypothesis.works/) framework for Python. It allows to test that certain properties of your code hold for arbitrary inputs, and if a failure is found, automatically finds the minimal test case to reproduce the problem. Unlike QuickCheck, generation @@ -24,9 +29,15 @@ The crate is fairly close to being feature-complete and has not seen substantial architectural changes in quite some time. At this point, it mainly sees passive maintenance. -See the [changelog](https://github.com/AltSysrq/proptest/blob/master/proptest/CHANGELOG.md) +See the [changelog](https://github.com/proptest-rs/proptest/blob/master/proptest/CHANGELOG.md) for a full list of substantial historical changes, breaking and otherwise. +### MSRV + +The current MSRV of this crate is 1.60. +The MSRV is guaranteed to not exceeed `<current stable release> - 7`, though in practice it may be lower than this - your mileage may vary. +If we change this policy in a backwards incompatible way (e.g. changing it to `<current stable release> - 1`), this constitutes a breaking change, and would be a major version bump (e.g. 1.1 -> 2.0). + ### What is property testing? _Property testing_ is a system of testing code by checking that certain @@ -39,6 +50,7 @@ using specific inputs chosen by hand). Traditional tests can test specific known edge cases, simple inputs, and inputs that were known in the past to reveal bugs, whereas property tests will search for more complicated inputs that cause problems. + ## Getting Started Let's say we want to make a function that parses dates of the form @@ -123,7 +135,7 @@ thread 'main' panicked at 'Test failed: byte index 4 is not a char boundary; it If we look at the top directory after the test fails, we'll see a new `proptest-regressions` directory, which contains some files corresponding to source files containing failing test cases. These are [_failure -persistence_](https://altsysrq.github.io/proptest-book/proptest/failure-persistence.html) +persistence_](https://proptest-rs.github.io/proptest/proptest/failure-persistence.html) files. The first thing we should do is add these to source control. ```text @@ -310,8 +322,9 @@ the test passes. The `proptest!` macro has some additional syntax, including for setting configuration for things like the number of test cases to generate. See its -[documentation](https://altsysrq.github.io/rustdoc/proptest/latest/proptest/macro.proptest.html) +[documentation](https://docs.rs/proptest/latest/proptest/macro.proptest.html) for more details. + ## Differences between QuickCheck and Proptest QuickCheck and Proptest are similar in many ways: both generate random @@ -346,7 +359,7 @@ QuickCheck approach has a lot of disadvantages in comparison: violate them. The author of Hypothesis also has an [article on this -topic](http://hypothesis.works/articles/integrated-shrinking/). +topic](https://hypothesis.works/articles/integrated-shrinking/). Of course, there's also some relative downsides that fall out of what Proptest does differently: @@ -356,6 +369,7 @@ Proptest does differently: shrinking based on the output value, whereas Proptest must hold on to all the intermediate states and relationships in order for its richer shrinking model to work. + ## Limitations of Property Testing Given infinite time, property testing will eventually explore the whole @@ -388,7 +402,7 @@ makes it to a code generator. # Acknowledgements This crate wouldn't have come into existence had it not been for the [Rust port -of QuickCheck](https://github.com/burntsushi/quickcheck) and the +of QuickCheck](https://github.com/BurntSushi/quickcheck) and the [`regex_generate`](https://github.com/CryptArchy/regex_generate) crate which gave wonderful examples of what is possible. diff --git a/vendor/proptest/src/arbitrary/_core/mod.rs b/vendor/proptest/src/arbitrary/_core/mod.rs index 5fc3742e4..eb89aa103 100644 --- a/vendor/proptest/src/arbitrary/_core/mod.rs +++ b/vendor/proptest/src/arbitrary/_core/mod.rs @@ -17,6 +17,7 @@ mod fmt; mod iter; mod marker; mod mem; +mod non_zero; mod num; mod option; mod result; diff --git a/vendor/proptest/src/arbitrary/non_zero.rs b/vendor/proptest/src/arbitrary/_core/non_zero.rs index 55a775beb..9e9e3a8be 100644 --- a/vendor/proptest/src/arbitrary/non_zero.rs +++ b/vendor/proptest/src/arbitrary/_core/non_zero.rs @@ -8,15 +8,16 @@ // except according to those terms. use core::convert::TryFrom; +#[cfg(not(target_arch = "wasm32"))] +use core::num::{NonZeroI128, NonZeroU128}; use core::num::{ - NonZeroI128, NonZeroI16, NonZeroI32, NonZeroI64, NonZeroI8, NonZeroIsize, - NonZeroU128, NonZeroU16, NonZeroU32, NonZeroU64, NonZeroU8, NonZeroUsize, + NonZeroI16, NonZeroI32, NonZeroI64, NonZeroI8, NonZeroIsize, NonZeroU16, + NonZeroU32, NonZeroU64, NonZeroU8, NonZeroUsize, }; +use crate::arbitrary::{any, Arbitrary, StrategyFor}; use crate::strategy::{FilterMap, Strategy}; -use super::{any, Arbitrary, StrategyFor}; - macro_rules! non_zero_impl { ($nz:ty, $prim:ty) => { impl Arbitrary for $nz { @@ -37,6 +38,7 @@ non_zero_impl!(NonZeroU8, u8); non_zero_impl!(NonZeroU16, u16); non_zero_impl!(NonZeroU32, u32); non_zero_impl!(NonZeroU64, u64); +#[cfg(not(target_arch = "wasm32"))] non_zero_impl!(NonZeroU128, u128); non_zero_impl!(NonZeroUsize, usize); @@ -44,6 +46,7 @@ non_zero_impl!(NonZeroI8, i8); non_zero_impl!(NonZeroI16, i16); non_zero_impl!(NonZeroI32, i32); non_zero_impl!(NonZeroI64, i64); +#[cfg(not(target_arch = "wasm32"))] non_zero_impl!(NonZeroI128, i128); non_zero_impl!(NonZeroIsize, isize); @@ -54,13 +57,16 @@ mod test { u16 => core::num::NonZeroU16, u32 => core::num::NonZeroU32, u64 => core::num::NonZeroU64, - u128 => core::num::NonZeroU128, usize => core::num::NonZeroUsize, i8 => core::num::NonZeroI8, i16 => core::num::NonZeroI16, i32 => core::num::NonZeroI32, i64 => core::num::NonZeroI64, - i128 => core::num::NonZeroI128, isize => core::num::NonZeroIsize ); + #[cfg(not(target_arch = "wasm32"))] + no_panic_test!( + u128 => core::num::NonZeroU128, + i128 => core::num::NonZeroI128 + ); } diff --git a/vendor/proptest/src/arbitrary/mod.rs b/vendor/proptest/src/arbitrary/mod.rs index 51ac48bae..b4175ea5d 100644 --- a/vendor/proptest/src/arbitrary/mod.rs +++ b/vendor/proptest/src/arbitrary/mod.rs @@ -30,7 +30,6 @@ pub mod functor; mod macros; mod arrays; -mod non_zero; mod primitives; mod sample; mod tuples; diff --git a/vendor/proptest/src/bits.rs b/vendor/proptest/src/bits.rs index 49de83085..342eb28b1 100644 --- a/vendor/proptest/src/bits.rs +++ b/vendor/proptest/src/bits.rs @@ -95,6 +95,7 @@ int_bitset!(i64); int_bitset!(isize); #[cfg(feature = "bit-set")] +#[cfg_attr(docsrs, doc(cfg(feature = "bit-set")))] impl BitSetLike for BitSet { fn new_bitset(max: usize) -> Self { BitSet::with_capacity(max) @@ -430,6 +431,7 @@ macro_rules! minimal_api { minimal_api!(usize, usize); minimal_api!(isize, isize); #[cfg(feature = "bit-set")] +#[cfg_attr(docsrs, doc(cfg(feature = "bit-set")))] minimal_api!(bitset, BitSet); minimal_api!(bool_vec, Vec<bool>); @@ -442,11 +444,13 @@ pub(crate) mod varsize { #[cfg(not(feature = "bit-set"))] type Inner = Vec<bool>; + /// A bit set is a set of bit flags. #[derive(Debug, Clone)] - pub(crate) struct VarBitSet(Inner); + pub struct VarBitSet(Inner); impl VarBitSet { - pub(crate) fn saturated(len: usize) -> Self { + /// Create a bit set of `len` set values. + pub fn saturated(len: usize) -> Self { (0..len).collect::<VarBitSet>() } @@ -515,7 +519,7 @@ pub(crate) mod varsize { } } -pub(crate) use self::varsize::VarBitSet; +pub use self::varsize::VarBitSet; #[cfg(test)] mod test { diff --git a/vendor/proptest/src/collection.rs b/vendor/proptest/src/collection.rs index 90d04977e..ce27991d7 100644 --- a/vendor/proptest/src/collection.rs +++ b/vendor/proptest/src/collection.rs @@ -77,20 +77,23 @@ impl SizeRange { self.with(Default::default()) } - pub(crate) fn start(&self) -> usize { + /// The lower bound of the range (inclusive). + pub fn start(&self) -> usize { self.0.start } /// Extract the ends `[low, high]` of a `SizeRange`. - pub(crate) fn start_end_incl(&self) -> (usize, usize) { + pub fn start_end_incl(&self) -> (usize, usize) { (self.start(), self.end_incl()) } - pub(crate) fn end_incl(&self) -> usize { + /// The upper bound of the range (inclusive). + pub fn end_incl(&self) -> usize { self.0.end - 1 } - pub(crate) fn end_excl(&self) -> usize { + /// The upper bound of the range (exclusive). + pub fn end_excl(&self) -> usize { self.0.end } @@ -328,6 +331,7 @@ impl<T: Eq + Hash> statics::FilterFn<HashSet<T>> for MinSize { opaque_strategy_wrapper! { {#[cfg(feature = "std")]} + {#[cfg_attr(docsrs, doc(cfg(feature = "std")))]} /// Strategy to create `HashSet`s with a length in a certain range. /// /// Created by the `hash_set()` function in the same module. @@ -349,6 +353,7 @@ opaque_strategy_wrapper! { /// has at least the minimum number of elements, in case `element` should /// produce duplicate values. #[cfg(feature = "std")] +#[cfg_attr(docsrs, doc(cfg(feature = "std")))] pub fn hash_set<T: Strategy>( element: T, size: impl Into<SizeRange>, @@ -431,6 +436,7 @@ impl<K: Hash + Eq, V> statics::FilterFn<HashMap<K, V>> for MinSize { opaque_strategy_wrapper! { {#[cfg(feature = "std")]} + {#[cfg_attr(docsrs, doc(cfg(feature = "std")))]} /// Strategy to create `HashMap`s with a length in a certain range. /// /// Created by the `hash_map()` function in the same module. @@ -457,6 +463,7 @@ opaque_strategy_wrapper! { /// has at least the minimum number of elements, in case `key` should produce /// duplicate values. #[cfg(feature = "std")] +#[cfg_attr(docsrs, doc(cfg(feature = "std")))] pub fn hash_map<K: Strategy, V: Strategy>( key: K, value: V, diff --git a/vendor/proptest/src/lib.rs b/vendor/proptest/src/lib.rs index 1cba5f900..818c32645 100644 --- a/vendor/proptest/src/lib.rs +++ b/vendor/proptest/src/lib.rs @@ -12,7 +12,7 @@ //! This is the reference documentation for the proptest API. //! //! For documentation on how to get started with proptest and general usage -//! advice, please refer to the [Proptest Book](https://altsysrq.github.io/proptest-book/intro.html). +//! advice, please refer to the [Proptest Book](https://proptest-rs.github.io/proptest/intro.html). #![forbid(future_incompatible)] #![deny(missing_docs, bare_trait_objects)] @@ -31,6 +31,7 @@ all(feature = "alloc", not(feature = "std")), feature(core_intrinsics) )] +#![cfg_attr(docsrs, feature(doc_cfg))] // std_facade is used in a few macros, so it needs to be public. #[macro_use] @@ -66,11 +67,6 @@ extern crate bit_set; #[macro_use] extern crate lazy_static; -// Only required for the string module. -#[cfg(feature = "std")] -#[macro_use] -extern crate quick_error; - #[cfg(feature = "fork")] #[macro_use] extern crate rusty_fork; @@ -97,6 +93,7 @@ pub mod option; pub mod result; pub mod sample; #[cfg(feature = "std")] +#[cfg_attr(docsrs, doc(cfg(feature = "std")))] pub mod string; pub mod prelude; diff --git a/vendor/proptest/src/num.rs b/vendor/proptest/src/num.rs index 75431c7b6..3aa785db4 100644 --- a/vendor/proptest/src/num.rs +++ b/vendor/proptest/src/num.rs @@ -18,6 +18,8 @@ use crate::test_runner::TestRunner; use rand::distributions::uniform::{SampleUniform, Uniform}; use rand::distributions::{Distribution, Standard}; +/// Generate a random value of `X`, sampled uniformly from the half +/// open range `[low, high)` (excluding `high`). Panics if `low >= high`. pub(crate) fn sample_uniform<X: SampleUniform>( run: &mut TestRunner, start: X, @@ -26,7 +28,9 @@ pub(crate) fn sample_uniform<X: SampleUniform>( Uniform::new(start, end).sample(run.rng()) } -pub(crate) fn sample_uniform_incl<X: SampleUniform>( +/// Generate a random value of `X`, sampled uniformly from the closed +/// range `[low, high]` (inclusive). Panics if `low > high`. +pub fn sample_uniform_incl<X: SampleUniform>( run: &mut TestRunner, start: X, end: X, @@ -1054,17 +1058,17 @@ mod test { mod $t { use crate::strategy::check_strategy_sanity; - const FOURTY_TWO: $t = 42 as $t; + const FORTY_TWO: $t = 42 as $t; const FIFTY_SIX: $t = 56 as $t; #[test] fn range() { - check_strategy_sanity(FOURTY_TWO..FIFTY_SIX, None); + check_strategy_sanity(FORTY_TWO..FIFTY_SIX, None); } #[test] fn range_inclusive() { - check_strategy_sanity(FOURTY_TWO..=FIFTY_SIX, None); + check_strategy_sanity(FORTY_TWO..=FIFTY_SIX, None); } #[test] @@ -1079,7 +1083,7 @@ mod test { #[test] fn range_from() { - check_strategy_sanity(FOURTY_TWO.., None); + check_strategy_sanity(FORTY_TWO.., None); } } }; diff --git a/vendor/proptest/src/string.rs b/vendor/proptest/src/string.rs index 195d75077..8777388f5 100644 --- a/vendor/proptest/src/string.rs +++ b/vendor/proptest/src/string.rs @@ -54,33 +54,40 @@ impl Default for StringParam { } } -// quick_error! uses bare trait objects, so we enclose its invocation here in a -// module so the lint can be disabled just for it. -#[allow(bare_trait_objects)] -mod error_container { - use super::*; +/// Errors which may occur when preparing a regular expression for use with +/// string generation. +#[derive(Debug)] +pub enum Error { + /// The string passed as the regex was not syntactically valid. + RegexSyntax(ParseError), + /// The regex was syntactically valid, but contains elements not + /// supported by proptest. + UnsupportedRegex(&'static str), +} - quick_error! { - /// Errors which may occur when preparing a regular expression for use with - /// string generation. - #[derive(Debug)] - pub enum Error { - /// The string passed as the regex was not syntactically valid. - RegexSyntax(err: ParseError) { - from() - source(err) - display("{}", err) - } - /// The regex was syntactically valid, but contains elements not - /// supported by proptest. - UnsupportedRegex(message: &'static str) { - display("{}", message) - } +impl fmt::Display for Error { + fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result { + match self { + Error::RegexSyntax(err) => write!(f, "{}", err), + Error::UnsupportedRegex(message) => write!(f, "{}", message), + } + } +} + +impl std::error::Error for Error { + fn source(&self) -> Option<&(dyn std::error::Error + 'static)> { + match self { + Error::RegexSyntax(err) => Some(err), + Error::UnsupportedRegex(_) => None, } } } -pub use self::error_container::Error; +impl From<ParseError> for Error { + fn from(err: ParseError) -> Error { + Error::RegexSyntax(err) + } +} opaque_strategy_wrapper! { /// Strategy which generates values (i.e., `String` or `Vec<u8>`) matching @@ -113,7 +120,7 @@ type ParseResult<T> = Result<RegexGeneratorStrategy<T>, Error>; /// This trait exists for the benefit of `#[proptest(regex = "...")]`. /// It is semver exempt, so use at your own risk. /// If you found a use for the trait beyond `Vec<u8>` and `String`, -/// please file an issue at https://github.com/AltSysrq/proptest. +/// please file an issue at https://github.com/proptest-rs/proptest. pub trait StrategyFromRegex: Sized + fmt::Debug { type Strategy: Strategy<Value = Self>; diff --git a/vendor/proptest/src/sugar.rs b/vendor/proptest/src/sugar.rs index 42ba5c194..e16d2dda9 100644 --- a/vendor/proptest/src/sugar.rs +++ b/vendor/proptest/src/sugar.rs @@ -157,7 +157,7 @@ macro_rules! proptest { $( $(#[$meta])* fn $test_name() { - let mut config = $config.clone(); + let mut config = $crate::test_runner::contextualize_config($config.clone()); config.test_name = Some( concat!(module_path!(), "::", stringify!($test_name))); $crate::proptest_helper!(@_BODY config ($($parm in $strategy),+) [] $body); @@ -172,7 +172,7 @@ macro_rules! proptest { $( $(#[$meta])* fn $test_name() { - let mut config = $config.clone(); + let mut config = $crate::test_runner::contextualize_config($config.clone()); config.test_name = Some( concat!(module_path!(), "::", stringify!($test_name))); $crate::proptest_helper!(@_BODY2 config ($($arg)+) [] $body); @@ -223,25 +223,25 @@ macro_rules! proptest { }; ($config:expr, |($($parm:pat in $strategy:expr),+ $(,)?)| $body:expr) => { { - let mut config = $config.__sugar_to_owned(); + let mut config = $crate::test_runner::contextualize_config($config.__sugar_to_owned()); $crate::sugar::force_no_fork(&mut config); $crate::proptest_helper!(@_BODY config ($($parm in $strategy),+) [] $body) } }; ($config:expr, move |($($parm:pat in $strategy:expr),+ $(,)?)| $body:expr) => { { - let mut config = $config.__sugar_to_owned(); + let mut config = $crate::test_runner::contextualize_config($config.__sugar_to_owned()); $crate::sugar::force_no_fork(&mut config); $crate::proptest_helper!(@_BODY config ($($parm in $strategy),+) [move] $body) } }; ($config:expr, |($($arg:tt)+)| $body:expr) => { { - let mut config = $config.__sugar_to_owned(); + let mut config = $crate::test_runner::contextualize_config($config.__sugar_to_owned()); $crate::sugar::force_no_fork(&mut config); $crate::proptest_helper!(@_BODY2 config ($($arg)+) [] $body); } }; ($config:expr, move |($($arg:tt)+)| $body:expr) => { { - let mut config = $config.__sugar_to_owned(); + let mut config = $crate::test_runner::contextualize_config($config.__sugar_to_owned()); $crate::sugar::force_no_fork(&mut config); $crate::proptest_helper!(@_BODY2 config ($($arg)+) [move] $body); } }; diff --git a/vendor/proptest/src/test_runner/config.rs b/vendor/proptest/src/test_runner/config.rs index a3d30846a..04940abc4 100644 --- a/vendor/proptest/src/test_runner/config.rs +++ b/vendor/proptest/src/test_runner/config.rs @@ -49,8 +49,10 @@ const RNG_ALGORITHM: &str = "PROPTEST_RNG_ALGORITHM"; const DISABLE_FAILURE_PERSISTENCE: &str = "PROPTEST_DISABLE_FAILURE_PERSISTENCE"; +/// Override the config fields from environment variables, if any are set. +/// Without the `std` feature this function returns config unchanged. #[cfg(feature = "std")] -fn contextualize_config(mut result: Config) -> Config { +pub fn contextualize_config(mut result: Config) -> Config { fn parse_or_warn<T: FromStr + fmt::Display>( src: &OsString, dst: &mut T, @@ -141,8 +143,9 @@ fn contextualize_config(mut result: Config) -> Config { result } +/// Without the `std` feature this function returns config unchanged. #[cfg(not(feature = "std"))] -fn contextualize_config(result: Config) -> Config { +pub fn contextualize_config(result: Config) -> Config { result } @@ -271,6 +274,7 @@ pub struct Config { /// only considered when the `std` feature is enabled, which it is by /// default.) #[cfg(feature = "fork")] + #[cfg_attr(docsrs, doc(cfg(feature = "fork")))] pub fork: bool, /// If non-zero, tests are run in a subprocess and each generated case @@ -292,6 +296,7 @@ pub struct Config { /// only considered when the `std` feature is enabled, which it is by /// default.) #[cfg(feature = "timeout")] + #[cfg_attr(docsrs, doc(cfg(feature = "timeout")))] pub timeout: u32, /// If non-zero, give up the shrinking process after this many milliseconds @@ -307,6 +312,7 @@ pub struct Config { /// only considered when the `std` feature is enabled, which it is by /// default.) #[cfg(feature = "std")] + #[cfg_attr(docsrs, doc(cfg(feature = "std")))] pub max_shrink_time: u32, /// Give up on shrinking if more than this number of iterations of the test @@ -360,6 +366,7 @@ pub struct Config { /// `PROPTEST_VERBOSE` environment variable. (The variable is only considered /// when the `std` feature is enabled, which it is by default.) #[cfg(feature = "std")] + #[cfg_attr(docsrs, doc(cfg(feature = "std")))] pub verbose: u32, /// The RNG algorithm to use when not using a user-provided RNG. diff --git a/vendor/proptest/src/test_runner/errors.rs b/vendor/proptest/src/test_runner/errors.rs index dfa4a4852..a75e3a5c7 100644 --- a/vendor/proptest/src/test_runner/errors.rs +++ b/vendor/proptest/src/test_runner/errors.rs @@ -114,11 +114,10 @@ impl<T: fmt::Debug> fmt::Display for TestError<T> { fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { match *self { TestError::Abort(ref why) => write!(f, "Test aborted: {}", why), - TestError::Fail(ref why, ref what) => write!( - f, - "Test failed: {}; minimal failing input: {:?}", - why, what - ), + TestError::Fail(ref why, ref what) => { + writeln!(f, "Test failed: {}.", why)?; + write!(f, "minimal failing input: {:#?}", what) + } } } } diff --git a/vendor/proptest/src/test_runner/failure_persistence/mod.rs b/vendor/proptest/src/test_runner/failure_persistence/mod.rs index 6d21c4002..d88bec984 100644 --- a/vendor/proptest/src/test_runner/failure_persistence/mod.rs +++ b/vendor/proptest/src/test_runner/failure_persistence/mod.rs @@ -14,6 +14,7 @@ use core::result::Result; use core::str::FromStr; #[cfg(feature = "std")] +#[cfg_attr(docsrs, doc(cfg(feature = "std")))] mod file; mod map; mod noop; diff --git a/vendor/proptest/src/test_runner/result_cache.rs b/vendor/proptest/src/test_runner/result_cache.rs index c5bc68c3a..4b30700e0 100644 --- a/vendor/proptest/src/test_runner/result_cache.rs +++ b/vendor/proptest/src/test_runner/result_cache.rs @@ -97,6 +97,7 @@ impl ResultCache for BasicResultCache { /// /// Values are identified by their `Debug` string representation. #[cfg(feature = "std")] +#[cfg_attr(docsrs, doc(cfg(feature = "std")))] pub fn basic_result_cache() -> Box<dyn ResultCache> { Box::new(BasicResultCache::default()) } |