⚡️ Faster rewrite of double
#5618
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
**Description** <!-- Please provide a short description and potentially linked issues justifying the need for this PR --> When we first came up with the `double` arbitrary, `bigint` were not mature enough in JavaScript. As such, we did not want our users to be forced to bump to the very last versions of Node and polyfilled it with out own 64bits bigint implementation. While it worked well and in an efficient way, it requires extra code and is probably less efficient (after further optimizations) than a native `bigint`. As such this PR drops it in favor of a `bigint`-based internal. What changes for the user? Well generated values, the shrinker. And for users blocked on legacy releases of Node (<10.5 or 10.4?), they might just not be able to use this major version of fast-check. <!-- * Your PR is fixing a bug or regression? Check for existing issues related to this bug and link them --> <!-- * Your PR is adding a new feature? Make sure there is a related issue or discussion attached to it --> <!-- You can provide any additional context to help into understanding what's this PR is attempting to solve: reproduction of a bug, code snippets... --> **Checklist** — _Don't delete this checklist and make sure you do the following before opening the PR_ - [x] The name of my PR follows [gitmoji](https://gitmoji.dev/) specification - [x] My PR references one of several related issues (if any) - [x] New features or breaking changes must come with an associated Issue or Discussion - [x] My PR does not add any new dependency without an associated Issue or Discussion - [x] My PR includes bumps details, please run `yarn bump` and flag the impacts properly - [x] My PR adds relevant tests and they would have failed without my PR (when applicable) <!-- More about contributing at https://github.com/dubzzz/fast-check/blob/main/CONTRIBUTING.md --> **Advanced** <!-- How to fill the advanced section is detailed below! --> - [x] Category: ⚡️ Improve performance - [x] Impacts: Generated values, shrinker, minimal requirements for Node <!-- [Category] Please use one of the categories below, it will help us into better understanding the urgency of the PR --> <!-- * ✨ Introduce new features --> <!-- * 📝 Add or update documentation --> <!-- * ✅ Add or update tests --> <!-- * 🐛 Fix a bug --> <!-- * 🏷️ Add or update types --> <!-- * ⚡️ Improve performance --> <!-- * _Other(s):_ ... --> <!-- [Impacts] Please provide a comma separated list of the potential impacts that might be introduced by this change --> <!-- * Generated values: Can your change impact any of the existing generators in terms of generated values, if so which ones? when? --> <!-- * Shrink values: Can your change impact any of the existing generators in terms of shrink values, if so which ones? when? --> <!-- * Performance: Can it require some typings changes on user side? Please give more details --> <!-- * Typings: Is there a potential performance impact? In which cases? -->
|
double (#5215)double
|
Open in Stackblitz • @fast-check/examples @fast-check/ava
@fast-check/expect-type
fast-check
@fast-check/jest
@fast-check/packaged
@fast-check/poisoning
@fast-check/vitest
@fast-check/worker
commit: |
|
👋 A preview of the new documentation is available at: http://6786d03560e039fa2f2eb2cf--dubzzz-fast-check.netlify.app |
|
👋 A preview of the new documentation is available at: http://67a54df95e7771972254a49d--dubzzz-fast-check.netlify.app |
|
Benchmark at: https://github.com/dubzzz/fast-check-benchmarks/actions/runs/13190276746 ┌─────────┬──────────────────────────────────────────────────────────────────────────┬─────────────┬────────────────────┬────────────┬─────────┐
│ (index) │ Task Name │ ops/sec │ Average Time (ns) │ Margin │ Samples │
├─────────┼──────────────────────────────────────────────────────────────────────────┼─────────────┼────────────────────┼────────────┼─────────┤
│ 0 │ 'boolean [property] on fast-check@3.23.0' │ '10,035' │ 99641.6400000453 │ '±7.66%' │ 100 │
│ 1 │ 'boolean [property] on fast-check@main' │ '8,676' │ 115250.17999781994 │ '±41.63%' │ 100 │
│ 2 │ 'boolean [property] on fast-check@extra' │ '9,050' │ 110494.38999878475 │ '±21.64%' │ 100 │
│ 3 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 4 │ 'integer [property] on fast-check@3.23.0' │ '9,655' │ 103570.83000155399 │ '±16.42%' │ 100 │
│ 5 │ 'integer [property] on fast-check@main' │ '10,655' │ 93845.41999985231 │ '±6.44%' │ 100 │
│ 6 │ 'integer [property] on fast-check@extra' │ '9,718' │ 102892.28000008734 │ '±15.37%' │ 100 │
│ 7 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 8 │ 'maxSafeInteger [property] on fast-check@3.23.0' │ '8,940' │ 111851.66999901412 │ '±13.79%' │ 100 │
│ 9 │ 'maxSafeInteger [property] on fast-check@main' │ '9,228' │ 108358.39999985183 │ '±16.08%' │ 100 │
│ 10 │ 'maxSafeInteger [property] on fast-check@extra' │ '9,751' │ 102547.62000229675 │ '±6.84%' │ 100 │
│ 11 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 12 │ 'float [property] on fast-check@3.23.0' │ '8,425' │ 118687.03999876743 │ '±13.14%' │ 100 │
│ 13 │ 'float [property] on fast-check@main' │ '8,457' │ 118232.20999998739 │ '±15.25%' │ 100 │
│ 14 │ 'float [property] on fast-check@extra' │ '7,712' │ 129661.18000185816 │ '±14.62%' │ 100 │
│ 15 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 16 │ 'double [property] on fast-check@3.23.0' │ '6,624' │ 150952.35999964643 │ '±12.81%' │ 100 │
│ 17 │ 'double [property] on fast-check@main' │ '4,591' │ 217786.12999944016 │ '±14.12%' │ 100 │
│ 18 │ 'double [property] on fast-check@extra' │ '6,471' │ 154519.81999736745 │ '±12.55%' │ 100 │
│ 19 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 20 │ 'bigInt [property] on fast-check@3.23.0' │ '4,774' │ 209467.3700002022 │ '±11.17%' │ 100 │
│ 21 │ 'bigInt [property] on fast-check@main' │ '5,786' │ 172827.76999927592 │ '±9.27%' │ 100 │
│ 22 │ 'bigInt [property] on fast-check@extra' │ '5,563' │ 179736.6299974965 │ '±11.35%' │ 100 │
│ 23 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 24 │ 'date [property] on fast-check@3.23.0' │ '6,424' │ 155652.31999964453 │ '±8.12%' │ 100 │
│ 25 │ 'date [property] on fast-check@main' │ '8,039' │ 124384.65000072028 │ '±12.77%' │ 100 │
│ 26 │ 'date [property] on fast-check@extra' │ '8,059' │ 124075.8300005109 │ '±12.94%' │ 100 │
│ 27 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 28 │ 'string [property] on fast-check@3.23.0' │ '4,997' │ 200081.02999825496 │ '±10.08%' │ 100 │
│ 29 │ 'string [property] on fast-check@main' │ '5,076' │ 196977.94999694452 │ '±9.68%' │ 100 │
│ 30 │ 'string [property] on fast-check@extra' │ '5,319' │ 188003.3800000092 │ '±7.49%' │ 100 │
│ 31 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 32 │ 'string@500 [property] on fast-check@3.23.0' │ '320' │ 3119524.9100009096 │ '±2.40%' │ 100 │
│ 33 │ 'string@500 [property] on fast-check@main' │ '352' │ 2840422.449998441 │ '±2.90%' │ 100 │
│ 34 │ 'string@500 [property] on fast-check@extra' │ '341' │ 2929929.570000677 │ '±2.78%' │ 100 │
│ 35 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 36 │ 'string@25k [property] on fast-check@3.23.0' │ '4' │ 213824281.7800003 │ '±3.35%' │ 100 │
│ 37 │ 'string@25k [property] on fast-check@main' │ '4' │ 200587445.08999777 │ '±3.76%' │ 100 │
│ 38 │ 'string@25k [property] on fast-check@extra' │ '4' │ 204890319.20000038 │ '±3.58%' │ 100 │
│ 39 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 40 │ 'string(grapheme-composite) [property] on fast-check@3.23.0' │ '4,174' │ 239525.72000038344 │ '±14.31%' │ 100 │
│ 41 │ 'string(grapheme-composite) [property] on fast-check@main' │ '4,659' │ 214613.52999613155 │ '±6.90%' │ 100 │
│ 42 │ 'string(grapheme-composite) [property] on fast-check@extra' │ '4,523' │ 221091.04999981355 │ '±7.78%' │ 100 │
│ 43 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 44 │ 'string(grapheme-composite)@500 [property] on fast-check@3.23.0' │ '223' │ 4482134.180000867 │ '±2.19%' │ 100 │
│ 45 │ 'string(grapheme-composite)@500 [property] on fast-check@main' │ '248' │ 4021297.8299998213 │ '±2.06%' │ 100 │
│ 46 │ 'string(grapheme-composite)@500 [property] on fast-check@extra' │ '238' │ 4185195.140001597 │ '±2.32%' │ 100 │
│ 47 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 48 │ 'string(grapheme-composite)@25k [property] on fast-check@3.23.0' │ '3' │ 301191307.4900047 │ '±2.40%' │ 100 │
│ 49 │ 'string(grapheme-composite)@25k [property] on fast-check@main' │ '3' │ 285969747.7599961 │ '±3.01%' │ 100 │
│ 50 │ 'string(grapheme-composite)@25k [property] on fast-check@extra' │ '3' │ 285347763.28000474 │ '±3.66%' │ 100 │
│ 51 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 52 │ 'string(grapheme) [property] on fast-check@3.23.0' │ '3,316' │ 301566.2700025132 │ '±17.34%' │ 100 │
│ 53 │ 'string(grapheme) [property] on fast-check@main' │ '3,413' │ 292944.60000412073 │ '±16.55%' │ 100 │
│ 54 │ 'string(grapheme) [property] on fast-check@extra' │ '4,142' │ 241408.06000388693 │ '±14.21%' │ 100 │
│ 55 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 56 │ 'string(grapheme)@500 [property] on fast-check@3.23.0' │ '196' │ 5078545.640000375 │ '±3.18%' │ 100 │
│ 57 │ 'string(grapheme)@500 [property] on fast-check@main' │ '222' │ 4485767.389999819 │ '±2.12%' │ 100 │
│ 58 │ 'string(grapheme)@500 [property] on fast-check@extra' │ '212' │ 4707691.020000493 │ '±3.03%' │ 100 │
│ 59 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 60 │ 'string(grapheme)@25k [property] on fast-check@3.23.0' │ '3' │ 323715554.2300036 │ '±2.74%' │ 100 │
│ 61 │ 'string(grapheme)@25k [property] on fast-check@main' │ '3' │ 292446821.9900003 │ '±2.69%' │ 100 │
│ 62 │ 'string(grapheme)@25k [property] on fast-check@extra' │ '3' │ 297921458.6299984 │ '±2.83%' │ 100 │
│ 63 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 64 │ 'array(integer) [property] on fast-check@3.23.0' │ '4,604' │ 217176.47999932524 │ '±44.74%' │ 100 │
│ 65 │ 'array(integer) [property] on fast-check@main' │ '6,804' │ 146957.98000437208 │ '±14.34%' │ 100 │
│ 66 │ 'array(integer) [property] on fast-check@extra' │ '6,973' │ 143406.22999938205 │ '±10.36%' │ 100 │
│ 67 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 68 │ 'array(integer)@500 [property] on fast-check@3.23.0' │ '491' │ 2033520.8700061776 │ '±2.71%' │ 100 │
│ 69 │ 'array(integer)@500 [property] on fast-check@main' │ '553' │ 1806672.6700006984 │ '±3.16%' │ 100 │
│ 70 │ 'array(integer)@500 [property] on fast-check@extra' │ '545' │ 1832579.1899993783 │ '±2.81%' │ 100 │
│ 71 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 72 │ 'array(integer)@25k [property] on fast-check@3.23.0' │ '7' │ 129973972.01999965 │ '±3.66%' │ 100 │
│ 73 │ 'array(integer)@25k [property] on fast-check@main' │ '8' │ 118261028.54000172 │ '±3.95%' │ 100 │
│ 74 │ 'array(integer)@25k [property] on fast-check@extra' │ '8' │ 118281983.14999697 │ '±3.76%' │ 100 │
│ 75 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 76 │ 'uniqueArray(integer) [property] on fast-check@3.23.0' │ '5,191' │ 192617.5899960799 │ '±21.39%' │ 100 │
│ 77 │ 'uniqueArray(integer) [property] on fast-check@main' │ '5,919' │ 168937.26999871433 │ '±13.40%' │ 100 │
│ 78 │ 'uniqueArray(integer) [property] on fast-check@extra' │ '5,659' │ 176681.8699997384 │ '±15.96%' │ 100 │
│ 79 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 80 │ 'uniqueArray(integer)@500 [property] on fast-check@3.23.0' │ '321' │ 3110927.6000061072 │ '±3.37%' │ 100 │
│ 81 │ 'uniqueArray(integer)@500 [property] on fast-check@main' │ '320' │ 3117418.2199971983 │ '±3.87%' │ 100 │
│ 82 │ 'uniqueArray(integer)@500 [property] on fast-check@extra' │ '332' │ 3008240.6199979596 │ '±3.74%' │ 100 │
│ 83 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 84 │ 'anything [property] on fast-check@3.23.0' │ '288' │ 3460398.149996181 │ '±53.63%' │ 100 │
│ 85 │ 'anything [property] on fast-check@main' │ '669' │ 1493900.8099987404 │ '±4.71%' │ 100 │
│ 86 │ 'anything [property] on fast-check@extra' │ '673' │ 1485719.4400025764 │ '±3.54%' │ 100 │
│ 87 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 88 │ 'subarray([1,2,3]) [property] on fast-check@3.23.0' │ '6,565' │ 152317.47999729123 │ '±13.44%' │ 100 │
│ 89 │ 'subarray([1,2,3]) [property] on fast-check@main' │ '7,806' │ 128105.49000278115 │ '±13.17%' │ 100 │
│ 90 │ 'subarray([1,2,3]) [property] on fast-check@extra' │ '8,208' │ 121825.35999745596 │ '±7.50%' │ 100 │
│ 91 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 92 │ 'shuffledSubarray([1,2,3]) [property] on fast-check@3.23.0' │ '8,736' │ 114464.57000100054 │ '±7.38%' │ 100 │
│ 93 │ 'shuffledSubarray([1,2,3]) [property] on fast-check@main' │ '8,900' │ 112355.71000084747 │ '±7.85%' │ 100 │
│ 94 │ 'shuffledSubarray([1,2,3]) [property] on fast-check@extra' │ '8,941' │ 111842.79000211973 │ '±7.17%' │ 100 │
│ 95 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 96 │ 'constant [property] on fast-check@3.23.0' │ '12,290' │ 81361.90999648534 │ '±6.96%' │ 100 │
│ 97 │ 'constant [property] on fast-check@main' │ '12,179' │ 82106.58000200056 │ '±8.97%' │ 100 │
│ 98 │ 'constant [property] on fast-check@extra' │ '12,038' │ 83067.70000024699 │ '±8.36%' │ 100 │
│ 99 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 100 │ 'constantFrom(a,b,c) [property] on fast-check@3.23.0' │ '12,030' │ 83123.53999819607 │ '±6.88%' │ 100 │
│ 101 │ 'constantFrom(a,b,c) [property] on fast-check@main' │ '11,933' │ 83797.9900004575 │ '±8.40%' │ 100 │
│ 102 │ 'constantFrom(a,b,c) [property] on fast-check@extra' │ '11,301' │ 88483.08999848086 │ '±8.49%' │ 100 │
│ 103 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 104 │ 'mapToConstant([a-z]) [property] on fast-check@3.23.0' │ '10,369' │ 96440.07999624591 │ '±6.36%' │ 100 │
│ 105 │ 'mapToConstant([a-z]) [property] on fast-check@main' │ '10,278' │ 97291.7799995048 │ '±7.64%' │ 100 │
│ 106 │ 'mapToConstant([a-z]) [property] on fast-check@extra' │ '10,157' │ 98447.3200008506 │ '±7.54%' │ 100 │
│ 107 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 108 │ 'mapToConstant([a-z][A-Z][0-9]) [property] on fast-check@3.23.0' │ '8,435' │ 118547.80999594368 │ '±9.39%' │ 100 │
│ 109 │ 'mapToConstant([a-z][A-Z][0-9]) [property] on fast-check@main' │ '10,434' │ 95834.52000282705 │ '±6.41%' │ 100 │
│ 110 │ 'mapToConstant([a-z][A-Z][0-9]) [property] on fast-check@extra' │ '10,043' │ 99570.83999877796 │ '±9.43%' │ 100 │
│ 111 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 112 │ 'option(integer) [property] on fast-check@3.23.0' │ '9,807' │ 101967.61999686714 │ '±7.87%' │ 100 │
│ 113 │ 'option(integer) [property] on fast-check@main' │ '9,901' │ 100995.50999875646 │ '±7.38%' │ 100 │
│ 114 │ 'option(integer) [property] on fast-check@extra' │ '9,994' │ 100055.0399988424 │ '±6.26%' │ 100 │
│ 115 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 116 │ 'oneof(integer,integer) [property] on fast-check@3.23.0' │ '9,759' │ 102459.68000032008 │ '±7.40%' │ 100 │
│ 117 │ 'oneof(integer,integer) [property] on fast-check@main' │ '9,822' │ 101810.87999779265 │ '±7.28%' │ 100 │
│ 118 │ 'oneof(integer,integer) [property] on fast-check@extra' │ '9,735' │ 102714.02000100352 │ '±7.36%' │ 100 │
│ 119 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 120 │ 'oneof(integer@1,integer@2) [property] on fast-check@3.23.0' │ '9,694' │ 103151.72999864444 │ '±7.79%' │ 100 │
│ 121 │ 'oneof(integer@1,integer@2) [property] on fast-check@main' │ '10,060' │ 99397.16999884695 │ '±6.27%' │ 100 │
│ 122 │ 'oneof(integer@1,integer@2) [property] on fast-check@extra' │ '9,431' │ 106031.85000189114 │ '±11.51%' │ 100 │
│ 123 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 124 │ 'tuple(integer,integer) [property] on fast-check@3.23.0' │ '8,498' │ 117663.86000264902 │ '±9.63%' │ 100 │
│ 125 │ 'tuple(integer,integer) [property] on fast-check@main' │ '8,735' │ 114478.97000063676 │ '±9.08%' │ 100 │
│ 126 │ 'tuple(integer,integer) [property] on fast-check@extra' │ '8,505' │ 117572.85999890883 │ '±9.49%' │ 100 │
│ 127 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 128 │ 'record(integer,integer) [property] on fast-check@3.23.0' │ '3,774' │ 264970.30000027735 │ '±10.75%' │ 100 │
│ 129 │ 'record(integer,integer) [property] on fast-check@main' │ '4,118' │ 242829.28999804426 │ '±11.36%' │ 100 │
│ 130 │ 'record(integer,integer) [property] on fast-check@extra' │ '4,077' │ 245237.3799995985 │ '±9.81%' │ 100 │
│ 131 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 132 │ 'letrec(node) [property] on fast-check@3.23.0' │ '5,448' │ 183548.7199970521 │ '±8.11%' │ 100 │
│ 133 │ 'letrec(node) [property] on fast-check@main' │ '5,572' │ 179452.31000136118 │ '±6.55%' │ 100 │
│ 134 │ 'letrec(node) [property] on fast-check@extra' │ '5,344' │ 187116.16999818943 │ '±7.43%' │ 100 │
│ 135 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 136 │ 'letrec(comment-generator) [property] on fast-check@3.23.0' │ '2,906' │ 344088.5200013872 │ '±6.37%' │ 100 │
│ 137 │ 'letrec(comment-generator) [property] on fast-check@main' │ '27,565' │ 36276.98000287637 │ '±12.32%' │ 100 │
│ 138 │ 'letrec(comment-generator) [property] on fast-check@extra' │ '28,963' │ 34526.49999817368 │ '±10.66%' │ 100 │
│ 139 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 140 │ 'memo(node@2) [property] on fast-check@3.23.0' │ '2,121' │ 471447.37000286113 │ '±9.73%' │ 100 │
│ 141 │ 'memo(node@2) [property] on fast-check@main' │ '2,437' │ 410289.2800013069 │ '±9.48%' │ 100 │
│ 142 │ 'memo(node@2) [property] on fast-check@extra' │ '2,399' │ 416688.18000063766 │ '±8.05%' │ 100 │
│ 143 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 144 │ 'emailAddress [property] on fast-check@3.23.0' │ '94' │ 10589759.170000326 │ '±1.22%' │ 100 │
│ 145 │ 'emailAddress [property] on fast-check@main' │ '819' │ 1220818.1599981617 │ '±3.05%' │ 100 │
│ 146 │ 'emailAddress [property] on fast-check@extra' │ '821' │ 1216625.589998439 │ '±2.64%' │ 100 │
│ 147 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 148 │ 'uuid [property] on fast-check@3.23.0' │ '4,200' │ 238058.56000166386 │ '±5.73%' │ 100 │
│ 149 │ 'uuid [property] on fast-check@main' │ '4,260' │ 234689.22000029124 │ '±5.58%' │ 100 │
│ 150 │ 'uuid [property] on fast-check@extra' │ '4,151' │ 240900.82999900915 │ '±6.65%' │ 100 │
│ 151 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 152 │ 'ulid [property] on fast-check@3.23.0' │ '5,308' │ 188374.71999926493 │ '±6.28%' │ 100 │
│ 153 │ 'ulid [property] on fast-check@main' │ '5,293' │ 188923.28000045381 │ '±8.07%' │ 100 │
│ 154 │ 'ulid [property] on fast-check@extra' │ '5,423' │ 184381.22000079602 │ '±6.44%' │ 100 │
│ 155 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 156 │ 'webUrl [property] on fast-check@3.23.0' │ '180' │ 5525799.970001681 │ '±2.15%' │ 100 │
│ 157 │ 'webUrl [property] on fast-check@main' │ '1,373' │ 727837.7700032433 │ '±4.97%' │ 100 │
│ 158 │ 'webUrl [property] on fast-check@extra' │ '1,383' │ 723048.05000138 │ '±4.00%' │ 100 │
│ 159 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 160 │ 'ipV4 [property] on fast-check@3.23.0' │ '6,041' │ 165521.18000283372 │ '±6.50%' │ 100 │
│ 161 │ 'ipV4 [property] on fast-check@main' │ '6,010' │ 166376.5900034923 │ '±8.32%' │ 100 │
│ 162 │ 'ipV4 [property] on fast-check@extra' │ '6,066' │ 164836.46999695338 │ '±7.24%' │ 100 │
│ 163 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 164 │ 'ipV6 [property] on fast-check@3.23.0' │ '1,685' │ 593292.3399977153 │ '±5.11%' │ 100 │
│ 165 │ 'ipV6 [property] on fast-check@main' │ '482' │ 2072203.9299976313 │ '±2.03%' │ 100 │
│ 166 │ 'ipV6 [property] on fast-check@extra' │ '470' │ 2125501.0100034997 │ '±2.63%' │ 100 │
│ 167 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 168 │ 'domain [property] on fast-check@3.23.0' │ '179' │ 5584851.389998221 │ '±1.16%' │ 100 │
│ 169 │ 'domain [property] on fast-check@main' │ '2,253' │ 443808.28999797814 │ '±6.84%' │ 100 │
│ 170 │ 'domain [property] on fast-check@extra' │ '2,251' │ 444217.27000153624 │ '±5.63%' │ 100 │
│ 171 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 172 │ 'webPath [property] on fast-check@3.23.0' │ '2,791' │ 358255.2300009411 │ '±8.66%' │ 100 │
│ 173 │ 'webPath [property] on fast-check@main' │ '3,588' │ 278663.37999876123 │ '±8.87%' │ 100 │
│ 174 │ 'webPath [property] on fast-check@extra' │ '3,572' │ 279931.75000010524 │ '±5.78%' │ 100 │
│ 175 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 176 │ 'base64String [property] on fast-check@3.23.0' │ '4,902' │ 203972.31000068132 │ '±7.14%' │ 100 │
│ 177 │ 'base64String [property] on fast-check@main' │ '4,488' │ 222774.72999936435 │ '±10.23%' │ 100 │
│ 178 │ 'base64String [property] on fast-check@extra' │ '4,529' │ 220785.18000082113 │ '±11.70%' │ 100 │
│ 179 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 180 │ 'lorem [property] on fast-check@3.23.0' │ '3,218' │ 310712.07999950275 │ '±8.09%' │ 100 │
│ 181 │ 'lorem [property] on fast-check@main' │ '3,493' │ 286278.169999714 │ '±6.74%' │ 100 │
│ 182 │ 'lorem [property] on fast-check@extra' │ '3,237' │ 308888.44000175595 │ '±8.63%' │ 100 │
│ 183 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 184 │ 'json [property] on fast-check@3.23.0' │ '557' │ 1795072.9000027059 │ '±6.09%' │ 100 │
│ 185 │ 'json [property] on fast-check@main' │ '587' │ 1703165.8699997934 │ '±4.53%' │ 100 │
│ 186 │ 'json [property] on fast-check@extra' │ '598' │ 1671728.9399978472 │ '±3.69%' │ 100 │
│ 187 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 188 │ 'stringMatching(^[a-zA-Z0-9]$) [property] on fast-check@3.23.0' │ '5,976' │ 167319.95999987703 │ '±13.26%' │ 100 │
│ 189 │ 'stringMatching(^[a-zA-Z0-9]$) [property] on fast-check@main' │ '6,486' │ 154161.5199984517 │ '±9.18%' │ 100 │
│ 190 │ 'stringMatching(^[a-zA-Z0-9]$) [property] on fast-check@extra' │ '6,270' │ 159476.25999746379 │ '±10.96%' │ 100 │
│ 191 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 192 │ 'stringMatching(ipV4) [property] on fast-check@3.23.0' │ '1,726' │ 579263.2400005823 │ '±7.46%' │ 100 │
│ 193 │ 'stringMatching(ipV4) [property] on fast-check@main' │ '1,753' │ 570269.03000311 │ '±8.10%' │ 100 │
│ 194 │ 'stringMatching(ipV4) [property] on fast-check@extra' │ '1,867' │ 535565.4399999185 │ '±7.85%' │ 100 │
│ 195 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 196 │ 'mixedCase(hello) [property] on fast-check@3.23.0' │ '4,882' │ 204806.30999954883 │ '±10.86%' │ 100 │
│ 197 │ 'mixedCase(hello) [property] on fast-check@main' │ '5,152' │ 194085.7299999334 │ '±8.78%' │ 100 │
│ 198 │ 'mixedCase(hello) [property] on fast-check@extra' │ '4,873' │ 205179.78000221774 │ '±8.18%' │ 100 │
│ 199 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 200 │ 'integer|>filter(true) [property] on fast-check@3.23.0' │ '9,992' │ 100079.0499948198 │ '±13.93%' │ 100 │
│ 201 │ 'integer|>filter(true) [property] on fast-check@main' │ '9,802' │ 102011.87000144273 │ '±15.79%' │ 100 │
│ 202 │ 'integer|>filter(true) [property] on fast-check@extra' │ '10,271' │ 97361.08999641147 │ '±6.78%' │ 100 │
│ 203 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 204 │ 'integer|>map(self) [property] on fast-check@3.23.0' │ '9,968' │ 100311.22000014875 │ '±13.82%' │ 100 │
│ 205 │ 'integer|>map(self) [property] on fast-check@main' │ '9,786' │ 102178.26000065543 │ '±12.46%' │ 100 │
│ 206 │ 'integer|>map(self) [property] on fast-check@extra' │ '10,012' │ 99872.50000413042 │ '±11.85%' │ 100 │
│ 207 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 208 │ 'integer|>chain(integer) [property] on fast-check@3.23.0' │ '8,675' │ 115264.17999586556 │ '±10.59%' │ 100 │
│ 209 │ 'integer|>chain(integer) [property] on fast-check@main' │ '8,891' │ 112473.06000441313 │ '±9.83%' │ 100 │
│ 210 │ 'integer|>chain(integer) [property] on fast-check@extra' │ '8,709' │ 114817.13000277523 │ '±10.55%' │ 100 │
│ 211 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 212 │ 'integer|>noBias [property] on fast-check@3.23.0' │ '11,838' │ 84469.9799985392 │ '±6.83%' │ 100 │
│ 213 │ 'integer|>noBias [property] on fast-check@main' │ '87,659' │ 11407.800001325086 │ '±21.13%' │ 100 │
│ 214 │ 'integer|>noBias [property] on fast-check@extra' │ '64,459' │ 15513.519999221899 │ '±60.77%' │ 100 │
│ 215 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 216 │ 'integer|>noShrink [property] on fast-check@3.23.0' │ '10,628' │ 94090.51000373438 │ '±6.45%' │ 100 │
│ 217 │ 'integer|>noShrink [property] on fast-check@main' │ '9,990' │ 100094.90000200458 │ '±13.08%' │ 100 │
│ 218 │ 'integer|>noShrink [property] on fast-check@extra' │ '7,566' │ 132159.77999963798 │ '±12.51%' │ 100 │
│ 219 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 220 │ 'boolean [property-no-init] on fast-check@3.23.0' │ '10,988' │ 91006.85999670532 │ '±6.86%' │ 100 │
│ 221 │ 'boolean [property-no-init] on fast-check@main' │ '10,705' │ 93413.18999882787 │ '±16.39%' │ 100 │
│ 222 │ 'boolean [property-no-init] on fast-check@extra' │ '10,182' │ 98210.52000217605 │ '±13.38%' │ 100 │
│ 223 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 224 │ 'integer [property-no-init] on fast-check@3.23.0' │ '10,256' │ 97498.27999679837 │ '±12.22%' │ 100 │
│ 225 │ 'integer [property-no-init] on fast-check@main' │ '10,942' │ 91388.07000243105 │ '±6.61%' │ 100 │
│ 226 │ 'integer [property-no-init] on fast-check@extra' │ '10,259' │ 97467.14999957476 │ '±11.93%' │ 100 │
│ 227 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 228 │ 'maxSafeInteger [property-no-init] on fast-check@3.23.0' │ '9,629' │ 103850.12999759056 │ '±11.48%' │ 100 │
│ 229 │ 'maxSafeInteger [property-no-init] on fast-check@main' │ '9,897' │ 101035.25000216905 │ '±11.72%' │ 100 │
│ 230 │ 'maxSafeInteger [property-no-init] on fast-check@extra' │ '10,215' │ 97891.74999925308 │ '±6.39%' │ 100 │
│ 231 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 232 │ 'float [property-no-init] on fast-check@3.23.0' │ '8,914' │ 112180.91000046115 │ '±10.82%' │ 100 │
│ 233 │ 'float [property-no-init] on fast-check@main' │ '9,189' │ 108819.81000304222 │ '±9.87%' │ 100 │
│ 234 │ 'float [property-no-init] on fast-check@extra' │ '8,531' │ 117215.99000389688 │ '±9.95%' │ 100 │
│ 235 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 236 │ 'double [property-no-init] on fast-check@3.23.0' │ '7,369' │ 135689.0399986878 │ '±8.42%' │ 100 │
│ 237 │ 'double [property-no-init] on fast-check@main' │ '7,123' │ 140372.22999730147 │ '±9.76%' │ 100 │
│ 238 │ 'double [property-no-init] on fast-check@extra' │ '6,788' │ 147317.02999968547 │ '±9.47%' │ 100 │
│ 239 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 240 │ 'bigInt [property-no-init] on fast-check@3.23.0' │ '4,961' │ 201537.14999731164 │ '±8.74%' │ 100 │
│ 241 │ 'bigInt [property-no-init] on fast-check@main' │ '6,022' │ 166052.14999930467 │ '±7.85%' │ 100 │
│ 242 │ 'bigInt [property-no-init] on fast-check@extra' │ '5,986' │ 167029.18000053614 │ '±7.70%' │ 100 │
│ 243 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 244 │ 'date [property-no-init] on fast-check@3.23.0' │ '8,519' │ 117380.94000029378 │ '±9.37%' │ 100 │
│ 245 │ 'date [property-no-init] on fast-check@main' │ '8,439' │ 118485.88000168093 │ '±9.81%' │ 100 │
│ 246 │ 'date [property-no-init] on fast-check@extra' │ '8,489' │ 117794.80000026524 │ '±10.00%' │ 100 │
│ 247 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 248 │ 'string [property-no-init] on fast-check@3.23.0' │ '5,359' │ 186588.65000063088 │ '±8.16%' │ 100 │
│ 249 │ 'string [property-no-init] on fast-check@main' │ '5,714' │ 174984.70000340603 │ '±7.30%' │ 100 │
│ 250 │ 'string [property-no-init] on fast-check@extra' │ '5,519' │ 181176.84000288136 │ '±9.21%' │ 100 │
│ 251 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 252 │ 'string@500 [property-no-init] on fast-check@3.23.0' │ '333' │ 2996684.219999006 │ '±2.06%' │ 100 │
│ 253 │ 'string@500 [property-no-init] on fast-check@main' │ '364' │ 2744633.0599999055 │ '±2.19%' │ 100 │
│ 254 │ 'string@500 [property-no-init] on fast-check@extra' │ '363' │ 2747312.2000013245 │ '±2.25%' │ 100 │
│ 255 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 256 │ 'string@25k [property-no-init] on fast-check@3.23.0' │ '4' │ 209937587.12999755 │ '±3.13%' │ 100 │
│ 257 │ 'string@25k [property-no-init] on fast-check@main' │ '5' │ 194599024.29999202 │ '±3.47%' │ 100 │
│ 258 │ 'string@25k [property-no-init] on fast-check@extra' │ '5' │ 197105629.7300011 │ '±3.70%' │ 100 │
│ 259 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 260 │ 'string(grapheme-composite) [property-no-init] on fast-check@3.23.0' │ '4,162' │ 240221.70000593178 │ '±17.51%' │ 100 │
│ 261 │ 'string(grapheme-composite) [property-no-init] on fast-check@main' │ '4,708' │ 212366.52999767102 │ '±6.87%' │ 100 │
│ 262 │ 'string(grapheme-composite) [property-no-init] on fast-check@extra' │ '4,778' │ 209269.4099980872 │ '±5.73%' │ 100 │
│ 263 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 264 │ 'string(grapheme-composite)@500 [property-no-init] on fast-check@3.23.0' │ '225' │ 4434182.660001097 │ '±2.09%' │ 100 │
│ 265 │ 'string(grapheme-composite)@500 [property-no-init] on fast-check@main' │ '244' │ 4094148.4400001355 │ '±2.19%' │ 100 │
│ 266 │ 'string(grapheme-composite)@500 [property-no-init] on fast-check@extra' │ '243' │ 4109154.820003314 │ '±1.91%' │ 100 │
│ 267 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 268 │ 'string(grapheme-composite)@25k [property-no-init] on fast-check@3.23.0' │ '3' │ 296128404.68000156 │ '±2.78%' │ 100 │
│ 269 │ 'string(grapheme-composite)@25k [property-no-init] on fast-check@main' │ '3' │ 280611766.8699985 │ '±3.26%' │ 100 │
│ 270 │ 'string(grapheme-composite)@25k [property-no-init] on fast-check@extra' │ '3' │ 286789511.6300031 │ '±3.35%' │ 100 │
│ 271 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 272 │ 'string(grapheme) [property-no-init] on fast-check@3.23.0' │ '3,723' │ 268599.5499952696 │ '±26.22%' │ 100 │
│ 273 │ 'string(grapheme) [property-no-init] on fast-check@main' │ '4,404' │ 227031.42000362277 │ '±12.72%' │ 100 │
│ 274 │ 'string(grapheme) [property-no-init] on fast-check@extra' │ '4,153' │ 240785.33000778407 │ '±16.95%' │ 100 │
│ 275 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 276 │ 'string(grapheme)@500 [property-no-init] on fast-check@3.23.0' │ '205' │ 4862458.520001965 │ '±2.43%' │ 100 │
│ 277 │ 'string(grapheme)@500 [property-no-init] on fast-check@main' │ '225' │ 4435405.580007937 │ '±2.27%' │ 100 │
│ 278 │ 'string(grapheme)@500 [property-no-init] on fast-check@extra' │ '214' │ 4666759.369994979 │ '±2.77%' │ 100 │
│ 279 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 280 │ 'string(grapheme)@25k [property-no-init] on fast-check@3.23.0' │ '3' │ 322184604.20999557 │ '±2.73%' │ 100 │
│ 281 │ 'string(grapheme)@25k [property-no-init] on fast-check@main' │ '3' │ 297746911.8799979 │ '±3.16%' │ 100 │
│ 282 │ 'string(grapheme)@25k [property-no-init] on fast-check@extra' │ '3' │ 309291489.36998916 │ '±2.99%' │ 100 │
│ 283 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 284 │ 'array(integer) [property-no-init] on fast-check@3.23.0' │ '5,570' │ 179512.63999915682 │ '±31.16%' │ 100 │
│ 285 │ 'array(integer) [property-no-init] on fast-check@main' │ '6,841' │ 146175.06999755278 │ '±14.36%' │ 100 │
│ 286 │ 'array(integer) [property-no-init] on fast-check@extra' │ '4,623' │ 216306.2099996023 │ '±15.25%' │ 100 │
│ 287 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 288 │ 'array(integer)@500 [property-no-init] on fast-check@3.23.0' │ '470' │ 2124715.230000438 │ '±3.80%' │ 100 │
│ 289 │ 'array(integer)@500 [property-no-init] on fast-check@main' │ '539' │ 1852187.3199974652 │ '±3.33%' │ 100 │
│ 290 │ 'array(integer)@500 [property-no-init] on fast-check@extra' │ '547' │ 1825025.9999989066 │ '±2.69%' │ 100 │
│ 291 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 292 │ 'array(integer)@25k [property-no-init] on fast-check@3.23.0' │ '7' │ 131367556.26000115 │ '±3.43%' │ 100 │
│ 293 │ 'array(integer)@25k [property-no-init] on fast-check@main' │ '8' │ 120635480.92999147 │ '±4.04%' │ 100 │
│ 294 │ 'array(integer)@25k [property-no-init] on fast-check@extra' │ '8' │ 119462066.40000571 │ '±4.49%' │ 100 │
│ 295 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 296 │ 'uniqueArray(integer) [property-no-init] on fast-check@3.23.0' │ '5,702' │ 175374.2200031411 │ '±11.85%' │ 100 │
│ 297 │ 'uniqueArray(integer) [property-no-init] on fast-check@main' │ '6,199' │ 161309.0400013607 │ '±8.48%' │ 100 │
│ 298 │ 'uniqueArray(integer) [property-no-init] on fast-check@extra' │ '5,983' │ 167118.47000056878 │ '±9.40%' │ 100 │
│ 299 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 300 │ 'uniqueArray(integer)@500 [property-no-init] on fast-check@3.23.0' │ '337' │ 2960168.8899996225 │ '±2.43%' │ 100 │
│ 301 │ 'uniqueArray(integer)@500 [property-no-init] on fast-check@main' │ '356' │ 2806852.5199999567 │ '±2.07%' │ 100 │
│ 302 │ 'uniqueArray(integer)@500 [property-no-init] on fast-check@extra' │ '357' │ 2798610.859994078 │ '±2.00%' │ 100 │
│ 303 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 304 │ 'anything [property-no-init] on fast-check@3.23.0' │ '639' │ 1563948.3300002757 │ '±4.57%' │ 100 │
│ 305 │ 'anything [property-no-init] on fast-check@main' │ '667' │ 1498938.1000038702 │ '±5.21%' │ 100 │
│ 306 │ 'anything [property-no-init] on fast-check@extra' │ '654' │ 1528375.629996881 │ '±6.36%' │ 100 │
│ 307 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 308 │ 'subarray([1,2,3]) [property-no-init] on fast-check@3.23.0' │ '7,776' │ 128584.32000270113 │ '±15.14%' │ 100 │
│ 309 │ 'subarray([1,2,3]) [property-no-init] on fast-check@main' │ '8,074' │ 123848.30999886617 │ '±12.82%' │ 100 │
│ 310 │ 'subarray([1,2,3]) [property-no-init] on fast-check@extra' │ '7,531' │ 132769.59999464452 │ '±14.41%' │ 100 │
│ 311 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 312 │ 'shuffledSubarray([1,2,3]) [property-no-init] on fast-check@3.23.0' │ '8,475' │ 117988.92999766394 │ '±12.66%' │ 100 │
│ 313 │ 'shuffledSubarray([1,2,3]) [property-no-init] on fast-check@main' │ '9,188' │ 108833.05999916047 │ '±6.01%' │ 100 │
│ 314 │ 'shuffledSubarray([1,2,3]) [property-no-init] on fast-check@extra' │ '8,598' │ 116303.35999070667 │ '±12.72%' │ 100 │
│ 315 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 316 │ 'constant [property-no-init] on fast-check@3.23.0' │ '11,295' │ 88534.48000154458 │ '±16.82%' │ 100 │
│ 317 │ 'constant [property-no-init] on fast-check@main' │ '11,714' │ 85361.52999964543 │ '±16.88%' │ 100 │
│ 318 │ 'constant [property-no-init] on fast-check@extra' │ '12,049' │ 82988.54999709874 │ '±7.29%' │ 100 │
│ 319 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 320 │ 'constantFrom(a,b,c) [property-no-init] on fast-check@3.23.0' │ '10,684' │ 93593.65999815054 │ '±16.80%' │ 100 │
│ 321 │ 'constantFrom(a,b,c) [property-no-init] on fast-check@main' │ '11,390' │ 87789.05000304803 │ '±16.81%' │ 100 │
│ 322 │ 'constantFrom(a,b,c) [property-no-init] on fast-check@extra' │ '11,989' │ 83409.56999687478 │ '±6.87%' │ 100 │
│ 323 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 324 │ 'mapToConstant([a-z]) [property-no-init] on fast-check@3.23.0' │ '9,575' │ 104432.16999294236 │ '±15.52%' │ 100 │
│ 325 │ 'mapToConstant([a-z]) [property-no-init] on fast-check@main' │ '9,808' │ 101953.36999837309 │ '±15.76%' │ 100 │
│ 326 │ 'mapToConstant([a-z]) [property-no-init] on fast-check@extra' │ '9,822' │ 101805.67000177689 │ '±16.01%' │ 100 │
│ 327 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 328 │ 'mapToConstant([a-z][A-Z][0-9]) [property-no-init] on fast-check@3.23.0' │ '9,724' │ 102833.08000885881 │ '±6.86%' │ 100 │
│ 329 │ 'mapToConstant([a-z][A-Z][0-9]) [property-no-init] on fast-check@main' │ '9,680' │ 103299.36000402085 │ '±15.05%' │ 100 │
│ 330 │ 'mapToConstant([a-z][A-Z][0-9]) [property-no-init] on fast-check@extra' │ '9,677' │ 103336.31000015885 │ '±15.37%' │ 100 │
│ 331 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 332 │ 'option(integer) [property-no-init] on fast-check@3.23.0' │ '9,423' │ 106119.70998812467 │ '±14.01%' │ 100 │
│ 333 │ 'option(integer) [property-no-init] on fast-check@main' │ '10,123' │ 98780.63999116421 │ '±6.39%' │ 100 │
│ 334 │ 'option(integer) [property-no-init] on fast-check@extra' │ '9,390' │ 106491.42000009306 │ '±14.20%' │ 100 │
│ 335 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 336 │ 'oneof(integer,integer) [property-no-init] on fast-check@3.23.0' │ '9,381' │ 106587.25000568666 │ '±13.76%' │ 100 │
│ 337 │ 'oneof(integer,integer) [property-no-init] on fast-check@main' │ '9,449' │ 105828.19000119343 │ '±13.94%' │ 100 │
│ 338 │ 'oneof(integer,integer) [property-no-init] on fast-check@extra' │ '9,286' │ 107683.35999222472 │ '±15.04%' │ 100 │
│ 339 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 340 │ 'oneof(integer@1,integer@2) [property-no-init] on fast-check@3.23.0' │ '9,993' │ 100062.21000221558 │ '±6.27%' │ 100 │
│ 341 │ 'oneof(integer@1,integer@2) [property-no-init] on fast-check@main' │ '9,503' │ 105223.360004602 │ '±13.14%' │ 100 │
│ 342 │ 'oneof(integer@1,integer@2) [property-no-init] on fast-check@extra' │ '9,405' │ 106320.0999959372 │ '±12.91%' │ 100 │
│ 343 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 344 │ 'tuple(integer,integer) [property-no-init] on fast-check@3.23.0' │ '8,534' │ 117178.05999564007 │ '±11.97%' │ 100 │
│ 345 │ 'tuple(integer,integer) [property-no-init] on fast-check@main' │ '8,618' │ 116034.91000598297 │ '±11.68%' │ 100 │
│ 346 │ 'tuple(integer,integer) [property-no-init] on fast-check@extra' │ '8,493' │ 117730.70000344887 │ '±11.87%' │ 100 │
│ 347 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 348 │ 'record(integer,integer) [property-no-init] on fast-check@3.23.0' │ '3,742' │ 267179.54000341706 │ '±12.54%' │ 100 │
│ 349 │ 'record(integer,integer) [property-no-init] on fast-check@main' │ '4,088' │ 244583.87000486255 │ '±14.09%' │ 100 │
│ 350 │ 'record(integer,integer) [property-no-init] on fast-check@extra' │ '3,975' │ 251571.30000297911 │ '±12.92%' │ 100 │
│ 351 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 352 │ 'letrec(node) [property-no-init] on fast-check@3.23.0' │ '5,171' │ 193366.44000024535 │ '±14.17%' │ 100 │
│ 353 │ 'letrec(node) [property-no-init] on fast-check@main' │ '5,390' │ 185518.9000000246 │ '±10.33%' │ 100 │
│ 354 │ 'letrec(node) [property-no-init] on fast-check@extra' │ '5,411' │ 184786.6200027056 │ '±10.04%' │ 100 │
│ 355 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 356 │ 'letrec(comment-generator) [property-no-init] on fast-check@3.23.0' │ '3,052' │ 327551.0999991093 │ '±6.87%' │ 100 │
│ 357 │ 'letrec(comment-generator) [property-no-init] on fast-check@main' │ '28,738' │ 34796.03000218049 │ '±11.77%' │ 100 │
│ 358 │ 'letrec(comment-generator) [property-no-init] on fast-check@extra' │ '30,915' │ 32346.35999891907 │ '±10.98%' │ 100 │
│ 359 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 360 │ 'memo(node@2) [property-no-init] on fast-check@3.23.0' │ '2,203' │ 453872.7000099607 │ '±8.97%' │ 100 │
│ 361 │ 'memo(node@2) [property-no-init] on fast-check@main' │ '2,450' │ 408082.9799978528 │ '±9.75%' │ 100 │
│ 362 │ 'memo(node@2) [property-no-init] on fast-check@extra' │ '2,210' │ 452451.800002018 │ '±8.54%' │ 100 │
│ 363 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 364 │ 'emailAddress [property-no-init] on fast-check@3.23.0' │ '774' │ 1291306.9599936716 │ '±3.20%' │ 100 │
│ 365 │ 'emailAddress [property-no-init] on fast-check@main' │ '824' │ 1212771.5599990916 │ '±3.19%' │ 100 │
│ 366 │ 'emailAddress [property-no-init] on fast-check@extra' │ '833' │ 1199427.1499908064 │ '±2.79%' │ 100 │
│ 367 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 368 │ 'uuid [property-no-init] on fast-check@3.23.0' │ '4,124' │ 242427.37999302335 │ '±6.18%' │ 100 │
│ 369 │ 'uuid [property-no-init] on fast-check@main' │ '4,168' │ 239894.93999513797 │ '±6.28%' │ 100 │
│ 370 │ 'uuid [property-no-init] on fast-check@extra' │ '4,324' │ 231227.1900009364 │ '±6.33%' │ 100 │
│ 371 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 372 │ 'ulid [property-no-init] on fast-check@3.23.0' │ '5,280' │ 189386.28000207245 │ '±7.26%' │ 100 │
│ 373 │ 'ulid [property-no-init] on fast-check@main' │ '5,355' │ 186740.7799931243 │ '±7.02%' │ 100 │
│ 374 │ 'ulid [property-no-init] on fast-check@extra' │ '5,498' │ 181854.74999481812 │ '±5.80%' │ 100 │
│ 375 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 376 │ 'webUrl [property-no-init] on fast-check@3.23.0' │ '1,405' │ 711629.9599944614 │ '±3.50%' │ 100 │
│ 377 │ 'webUrl [property-no-init] on fast-check@main' │ '1,450' │ 689419.5400038734 │ '±4.10%' │ 100 │
│ 378 │ 'webUrl [property-no-init] on fast-check@extra' │ '1,450' │ 689550.0500069465 │ '±3.60%' │ 100 │
│ 379 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 380 │ 'ipV4 [property-no-init] on fast-check@3.23.0' │ '5,955' │ 167911.13000246696 │ '±8.19%' │ 100 │
│ 381 │ 'ipV4 [property-no-init] on fast-check@main' │ '6,368' │ 157011.92999258637 │ '±7.09%' │ 100 │
│ 382 │ 'ipV4 [property-no-init] on fast-check@extra' │ '6,121' │ 163371.43000331707 │ '±7.95%' │ 100 │
│ 383 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 384 │ 'ipV6 [property-no-init] on fast-check@3.23.0' │ '1,849' │ 540612.4499952421 │ '±3.79%' │ 100 │
│ 385 │ 'ipV6 [property-no-init] on fast-check@main' │ '1,942' │ 514686.17000151426 │ '±4.23%' │ 100 │
│ 386 │ 'ipV6 [property-no-init] on fast-check@extra' │ '1,841' │ 543021.5000000317 │ '±5.17%' │ 100 │
│ 387 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 388 │ 'domain [property-no-init] on fast-check@3.23.0' │ '2,242' │ 445853.5099925939 │ '±5.42%' │ 100 │
│ 389 │ 'domain [property-no-init] on fast-check@main' │ '2,120' │ 471688.7399938423 │ '±6.13%' │ 100 │
│ 390 │ 'domain [property-no-init] on fast-check@extra' │ '2,336' │ 427922.37000423484 │ '±4.74%' │ 100 │
│ 391 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 392 │ 'webPath [property-no-init] on fast-check@3.23.0' │ '3,760' │ 265944.9699986726 │ '±5.71%' │ 100 │
│ 393 │ 'webPath [property-no-init] on fast-check@main' │ '3,794' │ 263521.19000745006 │ '±5.68%' │ 100 │
│ 394 │ 'webPath [property-no-init] on fast-check@extra' │ '3,717' │ 269001.9799908623 │ '±5.36%' │ 100 │
│ 395 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 396 │ 'base64String [property-no-init] on fast-check@3.23.0' │ '5,180' │ 193017.61999726295 │ '±6.63%' │ 100 │
│ 397 │ 'base64String [property-no-init] on fast-check@main' │ '5,404' │ 185027.3299915716 │ '±7.81%' │ 100 │
│ 398 │ 'base64String [property-no-init] on fast-check@extra' │ '5,500' │ 181814.16999548674 │ '±6.66%' │ 100 │
│ 399 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 400 │ 'lorem [property-no-init] on fast-check@3.23.0' │ '3,556' │ 281150.0100081321 │ '±7.98%' │ 100 │
│ 401 │ 'lorem [property-no-init] on fast-check@main' │ '3,646' │ 274261.62000279874 │ '±6.82%' │ 100 │
│ 402 │ 'lorem [property-no-init] on fast-check@extra' │ '3,646' │ 274263.52000562474 │ '±7.16%' │ 100 │
│ 403 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 404 │ 'json [property-no-init] on fast-check@3.23.0' │ '623' │ 1603715.5599961989 │ '±4.27%' │ 100 │
│ 405 │ 'json [property-no-init] on fast-check@main' │ '646' │ 1546417.7999983076 │ '±3.97%' │ 100 │
│ 406 │ 'json [property-no-init] on fast-check@extra' │ '625' │ 1598827.1100004204 │ '±4.18%' │ 100 │
│ 407 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 408 │ 'stringMatching(^[a-zA-Z0-9]$) [property-no-init] on fast-check@3.23.0' │ '6,885' │ 145239.51999493875 │ '±12.22%' │ 100 │
│ 409 │ 'stringMatching(^[a-zA-Z0-9]$) [property-no-init] on fast-check@main' │ '7,387' │ 135363.03999833763 │ '±7.59%' │ 100 │
│ 410 │ 'stringMatching(^[a-zA-Z0-9]$) [property-no-init] on fast-check@extra' │ '7,218' │ 138533.08000718243 │ '±8.03%' │ 100 │
│ 411 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 412 │ 'stringMatching(ipV4) [property-no-init] on fast-check@3.23.0' │ '2,591' │ 385945.8099945914 │ '±4.14%' │ 100 │
│ 413 │ 'stringMatching(ipV4) [property-no-init] on fast-check@main' │ '2,597' │ 384939.5800032653 │ '±4.15%' │ 100 │
│ 414 │ 'stringMatching(ipV4) [property-no-init] on fast-check@extra' │ '2,587' │ 386527.7899976354 │ '±4.25%' │ 100 │
│ 415 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 416 │ 'mixedCase(hello) [property-no-init] on fast-check@3.23.0' │ '5,650' │ 176969.6200080216 │ '±5.48%' │ 100 │
│ 417 │ 'mixedCase(hello) [property-no-init] on fast-check@main' │ '5,689' │ 175773.92000122927 │ '±6.46%' │ 100 │
│ 418 │ 'mixedCase(hello) [property-no-init] on fast-check@extra' │ '5,641' │ 177272.29999843985 │ '±5.73%' │ 100 │
│ 419 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 420 │ 'integer|>filter(true) [property-no-init] on fast-check@3.23.0' │ '10,245' │ 97606.69000330381 │ '±9.60%' │ 100 │
│ 421 │ 'integer|>filter(true) [property-no-init] on fast-check@main' │ '10,299' │ 97095.34000023268 │ '±11.18%' │ 100 │
│ 422 │ 'integer|>filter(true) [property-no-init] on fast-check@extra' │ '10,195' │ 98080.74000291526 │ '±10.68%' │ 100 │
│ 423 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 424 │ 'integer|>map(self) [property-no-init] on fast-check@3.23.0' │ '10,476' │ 95449.10999480635 │ '±6.47%' │ 100 │
│ 425 │ 'integer|>map(self) [property-no-init] on fast-check@main' │ '7,110' │ 140637.52999994904 │ '±8.86%' │ 100 │
│ 426 │ 'integer|>map(self) [property-no-init] on fast-check@extra' │ '10,166' │ 98357.57999564521 │ '±9.57%' │ 100 │
│ 427 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 428 │ 'integer|>chain(integer) [property-no-init] on fast-check@3.23.0' │ '8,935' │ 111915.0800013449 │ '±8.47%' │ 100 │
│ 429 │ 'integer|>chain(integer) [property-no-init] on fast-check@main' │ '9,041' │ 110595.60999739915 │ '±8.18%' │ 100 │
│ 430 │ 'integer|>chain(integer) [property-no-init] on fast-check@extra' │ '8,467' │ 118095.21999792196 │ '±9.75%' │ 100 │
│ 431 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 432 │ 'integer|>noBias [property-no-init] on fast-check@3.23.0' │ '11,379' │ 87876.51999853551 │ '±9.36%' │ 100 │
│ 433 │ 'integer|>noBias [property-no-init] on fast-check@main' │ '99,957' │ 10004.279991844669 │ '±23.26%' │ 100 │
│ 434 │ 'integer|>noBias [property-no-init] on fast-check@extra' │ '109,807' │ 9106.819999869913 │ '±20.62%' │ 100 │
│ 435 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 436 │ 'integer|>noShrink [property-no-init] on fast-check@3.23.0' │ '10,923' │ 91548.01998636685 │ '±6.49%' │ 100 │
│ 437 │ 'integer|>noShrink [property-no-init] on fast-check@main' │ '10,607' │ 94274.25000350922 │ '±10.17%' │ 100 │
│ 438 │ 'integer|>noShrink [property-no-init] on fast-check@extra' │ '10,494' │ 95291.5499988012 │ '±9.91%' │ 100 │
│ 439 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 440 │ 'boolean [init] on fast-check@3.23.0' │ '2,807,648' │ 356.1699984129518 │ '±96.92%' │ 100 │
│ 441 │ 'boolean [init] on fast-check@main' │ '2,964,895' │ 337.2800024226308 │ '±99.85%' │ 100 │
│ 442 │ 'boolean [init] on fast-check@extra' │ '3,033,520' │ 329.65000136755407 │ '±101.74%' │ 100 │
│ 443 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 444 │ 'integer [init] on fast-check@3.23.0' │ '5,877,512' │ 170.13999982737005 │ '±139.79%' │ 100 │
│ 445 │ 'integer [init] on fast-check@main' │ '6,146,659' │ 162.6899908296764 │ '±145.21%' │ 100 │
│ 446 │ 'integer [init] on fast-check@extra' │ '6,336,332' │ 157.82000147737563 │ '±149.57%' │ 100 │
│ 447 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 448 │ 'maxSafeInteger [init] on fast-check@3.23.0' │ '4,796,162' │ 208.50000553764403 │ '±124.03%' │ 100 │
│ 449 │ 'maxSafeInteger [init] on fast-check@main' │ '5,091,909' │ 196.38999830931425 │ '±130.26%' │ 100 │
│ 450 │ 'maxSafeInteger [init] on fast-check@extra' │ '4,681,648' │ 213.5999919846654 │ '±125.90%' │ 100 │
│ 451 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 452 │ 'float [init] on fast-check@3.23.0' │ '1,657,879' │ 603.1800049822778 │ '±75.78%' │ 100 │
│ 453 │ 'float [init] on fast-check@main' │ '1,778,726' │ 562.2000037692487 │ '±79.53%' │ 100 │
│ 454 │ 'float [init] on fast-check@extra' │ '1,689,674' │ 591.8299953918904 │ '±78.08%' │ 100 │
│ 455 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 456 │ 'double [init] on fast-check@3.23.0' │ '604,858' │ 1653.2799962442368 │ '±51.35%' │ 100 │
│ 457 │ 'double [init] on fast-check@main' │ '713,551' │ 1401.4400029554963 │ '±51.57%' │ 100 │
│ 458 │ 'double [init] on fast-check@extra' │ '1,383,202' │ 722.9599973652512 │ '±70.45%' │ 100 │
│ 459 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 460 │ 'bigInt [init] on fast-check@3.23.0' │ '1,568,504' │ 637.5500035937876 │ '±75.46%' │ 100 │
│ 461 │ 'bigInt [init] on fast-check@main' │ '4,060,089' │ 246.29998952150342 │ '±117.92%' │ 100 │
│ 462 │ 'bigInt [init] on fast-check@extra' │ '4,198,329' │ 238.1899964530021 │ '±124.30%' │ 100 │
│ 463 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 464 │ 'date [init] on fast-check@3.23.0' │ '2,936,685' │ 340.51999798975885 │ '±99.86%' │ 100 │
│ 465 │ 'date [init] on fast-check@main' │ '2,484,904' │ 402.4300049059093 │ '±90.76%' │ 100 │
│ 466 │ 'date [init] on fast-check@extra' │ '2,737,925' │ 365.2399918064475 │ '±98.57%' │ 100 │
│ 467 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 468 │ 'string [init] on fast-check@3.23.0' │ '316,467' │ 3159.8799978382885 │ '±34.70%' │ 100 │
│ 469 │ 'string [init] on fast-check@main' │ '411,842' │ 2428.1099915970117 │ '±38.82%' │ 100 │
│ 470 │ 'string [init] on fast-check@extra' │ '422,243' │ 2368.2999971788377 │ '±39.28%' │ 100 │
│ 471 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 472 │ 'string@500 [init] on fast-check@3.23.0' │ '220,187' │ 4541.589999571443 │ '±30.31%' │ 100 │
│ 473 │ 'string@500 [init] on fast-check@main' │ '276,922' │ 3611.1199972219765 │ '±32.29%' │ 100 │
│ 474 │ 'string@500 [init] on fast-check@extra' │ '271,661' │ 3681.049997685477 │ '±32.09%' │ 100 │
│ 475 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 476 │ 'string@25k [init] on fast-check@3.23.0' │ '264,372' │ 3782.5400033034384 │ '±31.45%' │ 100 │
│ 477 │ 'string@25k [init] on fast-check@main' │ '281,999' │ 3546.11000046134 │ '±32.70%' │ 100 │
│ 478 │ 'string@25k [init] on fast-check@extra' │ '256,014' │ 3906.030000653118 │ '±31.12%' │ 100 │
│ 479 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 480 │ 'string(grapheme-composite) [init] on fast-check@3.23.0' │ '741,878' │ 1347.930005285889 │ '±53.69%' │ 100 │
│ 481 │ 'string(grapheme-composite) [init] on fast-check@main' │ '925,343' │ 1080.6800029240549 │ '±59.26%' │ 100 │
│ 482 │ 'string(grapheme-composite) [init] on fast-check@extra' │ '458,938' │ 2178.9400023408234 │ '±35.44%' │ 100 │
│ 483 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 484 │ 'string(grapheme-composite)@500 [init] on fast-check@3.23.0' │ '396,113' │ 2524.5300016831607 │ '±37.56%' │ 100 │
│ 485 │ 'string(grapheme-composite)@500 [init] on fast-check@main' │ '923,045' │ 1083.3700001239777 │ '±58.75%' │ 100 │
│ 486 │ 'string(grapheme-composite)@500 [init] on fast-check@extra' │ '950,055' │ 1052.570000756532 │ '±60.03%' │ 100 │
│ 487 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 488 │ 'string(grapheme-composite)@25k [init] on fast-check@3.23.0' │ '678,499' │ 1473.8400001078844 │ '±48.70%' │ 100 │
│ 489 │ 'string(grapheme-composite)@25k [init] on fast-check@main' │ '934,125' │ 1070.5200000666082 │ '±59.60%' │ 100 │
│ 490 │ 'string(grapheme-composite)@25k [init] on fast-check@extra' │ '777,200' │ 1286.6699951700866 │ '±58.11%' │ 100 │
│ 491 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 492 │ 'string(grapheme) [init] on fast-check@3.23.0' │ '731,496' │ 1367.0600089244545 │ '±50.40%' │ 100 │
│ 493 │ 'string(grapheme) [init] on fast-check@main' │ '930,570' │ 1074.609993956983 │ '±58.88%' │ 100 │
│ 494 │ 'string(grapheme) [init] on fast-check@extra' │ '956,754' │ 1045.2000028453767 │ '±60.45%' │ 100 │
│ 495 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 496 │ 'string(grapheme)@500 [init] on fast-check@3.23.0' │ '752,949' │ 1328.1099998857826 │ '±51.85%' │ 100 │
│ 497 │ 'string(grapheme)@500 [init] on fast-check@main' │ '921,090' │ 1085.6700036674738 │ '±59.04%' │ 100 │
│ 498 │ 'string(grapheme)@500 [init] on fast-check@extra' │ '779,587' │ 1282.7300024218857 │ '±54.76%' │ 100 │
│ 499 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 500 │ 'string(grapheme)@25k [init] on fast-check@3.23.0' │ '761,585' │ 1313.0500016268343 │ '±52.52%' │ 100 │
│ 501 │ 'string(grapheme)@25k [init] on fast-check@main' │ '941,548' │ 1062.079994007945 │ '±60.07%' │ 100 │
│ 502 │ 'string(grapheme)@25k [init] on fast-check@extra' │ '949,072' │ 1053.6600067280233 │ '±60.24%' │ 100 │
│ 503 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 504 │ 'array(integer) [init] on fast-check@3.23.0' │ '2,483,176' │ 402.71000820212066 │ '±87.97%' │ 100 │
│ 505 │ 'array(integer) [init] on fast-check@main' │ '3,465,003' │ 288.59999496489763 │ '±109.83%' │ 100 │
│ 506 │ 'array(integer) [init] on fast-check@extra' │ '3,412,387' │ 293.0499939247966 │ '±112.06%' │ 100 │
│ 507 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 508 │ 'array(integer)@500 [init] on fast-check@3.23.0' │ '2,930,145' │ 341.28000028431416 │ '±93.07%' │ 100 │
│ 509 │ 'array(integer)@500 [init] on fast-check@main' │ '4,045,634' │ 247.1800008788705 │ '±119.77%' │ 100 │
│ 510 │ 'array(integer)@500 [init] on fast-check@extra' │ '4,091,150' │ 244.42999972961843 │ '±121.21%' │ 100 │
│ 511 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 512 │ 'array(integer)@25k [init] on fast-check@3.23.0' │ '2,054,949' │ 486.6299976129085 │ '±93.42%' │ 100 │
│ 513 │ 'array(integer)@25k [init] on fast-check@main' │ '4,147,484' │ 241.10999307595193 │ '±122.79%' │ 100 │
│ 514 │ 'array(integer)@25k [init] on fast-check@extra' │ '4,146,108' │ 241.18999484926462 │ '±122.72%' │ 100 │
│ 515 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 516 │ 'uniqueArray(integer) [init] on fast-check@3.23.0' │ '1,603,154' │ 623.7700197380036 │ '±76.47%' │ 100 │
│ 517 │ 'uniqueArray(integer) [init] on fast-check@main' │ '1,940,014' │ 515.4599994421005 │ '±83.25%' │ 100 │
│ 518 │ 'uniqueArray(integer) [init] on fast-check@extra' │ '1,981,532' │ 504.65999520383775 │ '±85.07%' │ 100 │
│ 519 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 520 │ 'uniqueArray(integer)@500 [init] on fast-check@3.23.0' │ '1,776,672' │ 562.850006390363 │ '±76.46%' │ 100 │
│ 521 │ 'uniqueArray(integer)@500 [init] on fast-check@main' │ '2,093,364' │ 477.6999878231436 │ '±86.84%' │ 100 │
│ 522 │ 'uniqueArray(integer)@500 [init] on fast-check@extra' │ '2,170,939' │ 460.63000219874084 │ '±89.97%' │ 100 │
│ 523 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 524 │ 'anything [init] on fast-check@3.23.0' │ '38,226' │ 26159.75999040529 │ '±14.33%' │ 100 │
│ 525 │ 'anything [init] on fast-check@main' │ '33,346' │ 29988.10999444686 │ '±12.26%' │ 100 │
│ 526 │ 'anything [init] on fast-check@extra' │ '32,342' │ 30918.879996752366 │ '±47.97%' │ 100 │
│ 527 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 528 │ 'subarray([1,2,3]) [init] on fast-check@3.23.0' │ '1,824,318' │ 548.1499992311001 │ '±75.74%' │ 100 │
│ 529 │ 'subarray([1,2,3]) [init] on fast-check@main' │ '2,221,728' │ 450.09998488239944 │ '±87.75%' │ 100 │
│ 530 │ 'subarray([1,2,3]) [init] on fast-check@extra' │ '2,263,006' │ 441.8899957090616 │ '±89.08%' │ 100 │
│ 531 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 532 │ 'shuffledSubarray([1,2,3]) [init] on fast-check@3.23.0' │ '2,079,780' │ 480.8200104162097 │ '±82.39%' │ 100 │
│ 533 │ 'shuffledSubarray([1,2,3]) [init] on fast-check@main' │ '2,292,684' │ 436.16998940706253 │ '±89.85%' │ 100 │
│ 534 │ 'shuffledSubarray([1,2,3]) [init] on fast-check@extra' │ '2,347,032' │ 426.06999981217086 │ '±91.77%' │ 100 │
│ 535 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 536 │ 'constant [init] on fast-check@3.23.0' │ '4,701,236' │ 212.70999684929848 │ '±112.09%' │ 100 │
│ 537 │ 'constant [init] on fast-check@main' │ '6,256,647' │ 159.82999349944293 │ '±142.41%' │ 100 │
│ 538 │ 'constant [init] on fast-check@extra' │ '6,432,522' │ 155.4599986411631 │ '±146.35%' │ 100 │
│ 539 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 540 │ 'constantFrom(a,b,c) [init] on fast-check@3.23.0' │ '4,908,698' │ 203.71999824419618 │ '±113.63%' │ 100 │
│ 541 │ 'constantFrom(a,b,c) [init] on fast-check@main' │ '6,254,299' │ 159.89000210538507 │ '±142.86%' │ 100 │
│ 542 │ 'constantFrom(a,b,c) [init] on fast-check@extra' │ '6,406,560' │ 156.0900011099875 │ '±146.06%' │ 100 │
│ 543 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 544 │ 'mapToConstant([a-z]) [init] on fast-check@3.23.0' │ '3,120,709' │ 320.4400010872632 │ '±93.61%' │ 100 │
│ 545 │ 'mapToConstant([a-z]) [init] on fast-check@main' │ '1,528,701' │ 654.1500019375235 │ '±72.43%' │ 100 │
│ 546 │ 'mapToConstant([a-z]) [init] on fast-check@extra' │ '1,536,239' │ 650.9400031063706 │ '±73.48%' │ 100 │
│ 547 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 548 │ 'mapToConstant([a-z][A-Z][0-9]) [init] on fast-check@3.23.0' │ '2,672,582' │ 374.1699946112931 │ '±88.85%' │ 100 │
│ 549 │ 'mapToConstant([a-z][A-Z][0-9]) [init] on fast-check@main' │ '944,715' │ 1058.5200053174049 │ '±61.75%' │ 100 │
│ 550 │ 'mapToConstant([a-z][A-Z][0-9]) [init] on fast-check@extra' │ '1,153,242' │ 867.1200030948967 │ '±65.23%' │ 100 │
│ 551 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 552 │ 'option(integer) [init] on fast-check@3.23.0' │ '1,169,453' │ 855.0999988801777 │ '±65.56%' │ 100 │
│ 553 │ 'option(integer) [init] on fast-check@main' │ '1,329,469' │ 752.1799998357892 │ '±69.71%' │ 100 │
│ 554 │ 'option(integer) [init] on fast-check@extra' │ '1,355,729' │ 737.6100029796362 │ '±70.18%' │ 100 │
│ 555 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 556 │ 'oneof(integer,integer) [init] on fast-check@3.23.0' │ '1,721,881' │ 580.7600042317063 │ '±74.35%' │ 100 │
│ 557 │ 'oneof(integer,integer) [init] on fast-check@main' │ '2,006,863' │ 498.28998977318406 │ '±86.90%' │ 100 │
│ 558 │ 'oneof(integer,integer) [init] on fast-check@extra' │ '2,064,153' │ 484.45999855175614 │ '±87.44%' │ 100 │
│ 559 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 560 │ 'oneof(integer@1,integer@2) [init] on fast-check@3.23.0' │ '1,757,345' │ 569.0399906598032 │ '±76.15%' │ 100 │
│ 561 │ 'oneof(integer@1,integer@2) [init] on fast-check@main' │ '1,968,542' │ 507.9900019336492 │ '±86.17%' │ 100 │
│ 562 │ 'oneof(integer@1,integer@2) [init] on fast-check@extra' │ '2,058,460' │ 485.8000040985644 │ '±87.28%' │ 100 │
│ 563 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 564 │ 'tuple(integer,integer) [init] on fast-check@3.23.0' │ '3,152,883' │ 317.1699948143214 │ '±95.39%' │ 100 │
│ 565 │ 'tuple(integer,integer) [init] on fast-check@main' │ '4,097,017' │ 244.08001103438437 │ '±118.89%' │ 100 │
│ 566 │ 'tuple(integer,integer) [init] on fast-check@extra' │ '4,341,785' │ 230.32000288367271 │ '±122.78%' │ 100 │
│ 567 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 568 │ 'record(integer,integer) [init] on fast-check@3.23.0' │ '480,411' │ 2081.5500093158334 │ '±125.55%' │ 100 │
│ 569 │ 'record(integer,integer) [init] on fast-check@main' │ '988,083' │ 1012.0599973015487 │ '±59.98%' │ 100 │
│ 570 │ 'record(integer,integer) [init] on fast-check@extra' │ '1,011,326' │ 988.800001796335 │ '±60.68%' │ 100 │
│ 571 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 572 │ 'letrec(node) [init] on fast-check@3.23.0' │ '759,664' │ 1316.3700001314282 │ '±53.71%' │ 100 │
│ 573 │ 'letrec(node) [init] on fast-check@main' │ '390,455' │ 2561.1100043170154 │ '±32.24%' │ 100 │
│ 574 │ 'letrec(node) [init] on fast-check@extra' │ '326,880' │ 3059.219995047897 │ '±35.55%' │ 100 │
│ 575 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 576 │ 'letrec(comment-generator) [init] on fast-check@3.23.0' │ '59,146' │ 16907.039996003732 │ '±15.85%' │ 100 │
│ 577 │ 'letrec(comment-generator) [init] on fast-check@main' │ '26,795' │ 37320.389999076724 │ '±11.89%' │ 100 │
│ 578 │ 'letrec(comment-generator) [init] on fast-check@extra' │ '31,362' │ 31884.899996221066 │ '±11.02%' │ 100 │
│ 579 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 580 │ 'memo(node@2) [init] on fast-check@3.23.0' │ '327,675' │ 3051.799989771098 │ '±36.31%' │ 100 │
│ 581 │ 'memo(node@2) [init] on fast-check@main' │ '289,674' │ 3452.149990480393 │ '±33.48%' │ 100 │
│ 582 │ 'memo(node@2) [init] on fast-check@extra' │ '317,960' │ 3145.0400012545288 │ '±34.65%' │ 100 │
│ 583 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 584 │ 'emailAddress [init] on fast-check@3.23.0' │ '105' │ 9436599.900000729 │ '±1.29%' │ 100 │
│ 585 │ 'emailAddress [init] on fast-check@main' │ '208,688' │ 4791.8199992273 │ '±33.20%' │ 100 │
│ 586 │ 'emailAddress [init] on fast-check@extra' │ '213,489' │ 4684.0799995698035 │ '±32.05%' │ 100 │
│ 587 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 588 │ 'uuid [init] on fast-check@3.23.0' │ '286,281' │ 3493.0599958170205 │ '±31.76%' │ 100 │
│ 589 │ 'uuid [init] on fast-check@main' │ '257,481' │ 3883.7800011970103 │ '±26.93%' │ 100 │
│ 590 │ 'uuid [init] on fast-check@extra' │ '477,144' │ 2095.800001407042 │ '±42.41%' │ 100 │
│ 591 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 592 │ 'ulid [init] on fast-check@3.23.0' │ '2,725,984' │ 366.8399970047176 │ '±95.87%' │ 100 │
│ 593 │ 'ulid [init] on fast-check@main' │ '2,696,217' │ 370.8899987395853 │ '±96.56%' │ 100 │
│ 594 │ 'ulid [init] on fast-check@extra' │ '2,911,886' │ 343.4199944604188 │ '±101.32%' │ 100 │
│ 595 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 596 │ 'webUrl [init] on fast-check@3.23.0' │ '215' │ 4638783.599998569 │ '±1.48%' │ 100 │
│ 597 │ 'webUrl [init] on fast-check@main' │ '93,692' │ 10673.259999603033 │ '±23.02%' │ 100 │
│ 598 │ 'webUrl [init] on fast-check@extra' │ '99,436' │ 10056.61999923177 │ '±20.62%' │ 100 │
│ 599 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 600 │ 'ipV4 [init] on fast-check@3.23.0' │ '2,035,084' │ 491.3799976930022 │ '±84.45%' │ 100 │
│ 601 │ 'ipV4 [init] on fast-check@main' │ '1,896,165' │ 527.3799982387573 │ '±78.67%' │ 100 │
│ 602 │ 'ipV4 [init] on fast-check@extra' │ '2,115,193' │ 472.77000616304576 │ '±85.11%' │ 100 │
│ 603 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 604 │ 'ipV6 [init] on fast-check@3.23.0' │ '56,621' │ 17661.009997827932 │ '±14.51%' │ 100 │
│ 605 │ 'ipV6 [init] on fast-check@main' │ '624' │ 1600491.6199902073 │ '±2.36%' │ 100 │
│ 606 │ 'ipV6 [init] on fast-check@extra' │ '624' │ 1600754.9399952404 │ '±2.17%' │ 100 │
│ 607 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 608 │ 'domain [init] on fast-check@3.23.0' │ '182' │ 5473804.000000237 │ '±1.32%' │ 100 │
│ 609 │ 'domain [init] on fast-check@main' │ '280,448' │ 3565.7199937850237 │ '±38.83%' │ 100 │
│ 610 │ 'domain [init] on fast-check@extra' │ '304,953' │ 3279.1900052689016 │ '±35.87%' │ 100 │
│ 611 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 612 │ 'webPath [init] on fast-check@3.23.0' │ '10,714' │ 93331.67000673711 │ '±38.17%' │ 100 │
│ 613 │ 'webPath [init] on fast-check@main' │ '331,219' │ 3019.1499984357506 │ '±37.00%' │ 100 │
│ 614 │ 'webPath [init] on fast-check@extra' │ '339,030' │ 2949.5899961329997 │ '±36.66%' │ 100 │
│ 615 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 616 │ 'base64String [init] on fast-check@3.23.0' │ '201,923' │ 4952.370002865791 │ '±28.25%' │ 100 │
│ 617 │ 'base64String [init] on fast-check@main' │ '185,940' │ 5378.070002188906 │ '±29.14%' │ 100 │
│ 618 │ 'base64String [init] on fast-check@extra' │ '161,212' │ 6203.010003082454 │ '±24.06%' │ 100 │
│ 619 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 620 │ 'lorem [init] on fast-check@3.23.0' │ '53,838' │ 18573.93998769112 │ '±14.28%' │ 100 │
│ 621 │ 'lorem [init] on fast-check@main' │ '53,180' │ 18803.899999475107 │ '±15.05%' │ 100 │
│ 622 │ 'lorem [init] on fast-check@extra' │ '54,649' │ 18298.45000174828 │ '±11.82%' │ 100 │
│ 623 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 624 │ 'json [init] on fast-check@3.23.0' │ '32,406' │ 30858.44000452198 │ '±13.66%' │ 100 │
│ 625 │ 'json [init] on fast-check@main' │ '18,795' │ 53204.27000289783 │ '±8.73%' │ 100 │
│ 626 │ 'json [init] on fast-check@extra' │ '21,010' │ 47595.17000289634 │ '±9.07%' │ 100 │
│ 627 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 628 │ 'stringMatching(^[a-zA-Z0-9]$) [init] on fast-check@3.23.0' │ '22,235' │ 44973.699998809025 │ '±100.15%' │ 100 │
│ 629 │ 'stringMatching(^[a-zA-Z0-9]$) [init] on fast-check@main' │ '30,416' │ 32876.39000453055 │ '±131.37%' │ 100 │
│ 630 │ 'stringMatching(^[a-zA-Z0-9]$) [init] on fast-check@extra' │ '99,954' │ 10004.579999949783 │ '±20.26%' │ 100 │
│ 631 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 632 │ 'stringMatching(ipV4) [init] on fast-check@3.23.0' │ '45,153' │ 22146.620000712574 │ '±14.45%' │ 100 │
│ 633 │ 'stringMatching(ipV4) [init] on fast-check@main' │ '47,426' │ 21085.09000740014 │ '±13.58%' │ 100 │
│ 634 │ 'stringMatching(ipV4) [init] on fast-check@extra' │ '47,967' │ 20847.529992461205 │ '±13.69%' │ 100 │
│ 635 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 636 │ 'mixedCase(hello) [init] on fast-check@3.23.0' │ '3,347,840' │ 298.7000031862408 │ '±104.28%' │ 100 │
│ 637 │ 'mixedCase(hello) [init] on fast-check@main' │ '3,804,306' │ 262.86000036634505 │ '±114.17%' │ 100 │
│ 638 │ 'mixedCase(hello) [init] on fast-check@extra' │ '3,894,687' │ 256.75999699160457 │ '±116.06%' │ 100 │
│ 639 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 640 │ 'integer|>filter(true) [init] on fast-check@3.23.0' │ '1,950,420' │ 512.7099948003888 │ '±84.17%' │ 100 │
│ 641 │ 'integer|>filter(true) [init] on fast-check@main' │ '2,895,193' │ 345.40000022388995 │ '±99.35%' │ 100 │
│ 642 │ 'integer|>filter(true) [init] on fast-check@extra' │ '2,747,177' │ 364.0099975746125 │ '±96.39%' │ 100 │
│ 643 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 644 │ 'integer|>map(self) [init] on fast-check@3.23.0' │ '3,322,148' │ 301.00999400019646 │ '±103.77%' │ 100 │
│ 645 │ 'integer|>map(self) [init] on fast-check@main' │ '4,687,792' │ 213.32000382244587 │ '±124.26%' │ 100 │
│ 646 │ 'integer|>map(self) [init] on fast-check@extra' │ '4,952,947' │ 201.89998904243112 │ '±129.05%' │ 100 │
│ 647 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 648 │ 'integer|>chain(integer) [init] on fast-check@3.23.0' │ '3,553,660' │ 281.40000184066594 │ '±108.16%' │ 100 │
│ 649 │ 'integer|>chain(integer) [init] on fast-check@main' │ '3,884,249' │ 257.44999875314534 │ '±115.56%' │ 100 │
│ 650 │ 'integer|>chain(integer) [init] on fast-check@extra' │ '3,990,423' │ 250.59999898076057 │ '±118.52%' │ 100 │
│ 651 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 652 │ 'integer|>noBias [init] on fast-check@3.23.0' │ '4,099,704' │ 243.920007487759 │ '±117.67%' │ 100 │
│ 653 │ 'integer|>noBias [init] on fast-check@main' │ '102,660' │ 9740.79999490641 │ '±22.83%' │ 100 │
│ 654 │ 'integer|>noBias [init] on fast-check@extra' │ '111,821' │ 8942.849998129532 │ '±20.79%' │ 100 │
│ 655 │ '—' │ '—' │ '—' │ '—' │ '—' │
│ 656 │ 'integer|>noShrink [init] on fast-check@3.23.0' │ '4,055,807' │ 246.56000081449744 │ '±116.82%' │ 100 │
│ 657 │ 'integer|>noShrink [init] on fast-check@main' │ '4,500,045' │ 222.2199970856309 │ '±127.24%' │ 100 │
│ 658 │ 'integer|>noShrink [init] on fast-check@extra' │ '4,455,533' │ 224.44000118412077 │ '±122.80%' │ 100 │
└─────────┴──────────────────────────────────────────────────────────────────────────┴─────────────┴────────────────────┴────────────┴─────────┘ |
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #5618 +/- ##
==========================================
- Coverage 94.57% 94.45% -0.12%
==========================================
Files 214 212 -2
Lines 9857 9633 -224
Branches 2758 2663 -95
==========================================
- Hits 9322 9099 -223
+ Misses 535 534 -1
Flags with carried forward coverage won't be shown. Click here to find out more. ☔ View full report in Codecov by Sentry. |
|
👋 A preview of the new documentation is available at: http://67a5539a49279dbcb5e9a239--dubzzz-fast-check.netlify.app |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
When we first came up with the
doublearbitrary,bigintwere not mature enough in JavaScript. As such, we did not want our users to be forced to bump to the very last versions of Node and polyfilled it with out own 64bits bigint implementation.While it worked well and in an efficient way, it requires extra code and is probably less efficient (after further optimizations) than a native
bigint. As such this PR drops it in favor of abigint-based internal.What changes for the user? Well generated values, the shrinker. And for users blocked on legacy releases of Node (<10.5 or 10.4?), they might just not be able to use this major version of fast-check.
Checklist — Don't delete this checklist and make sure you do the following before opening the PR
yarn bumpand flag the impacts properlyAdvanced