1<!doctype html><html lang=en dir=ltr class="plugin-pages plugin-id-default" data-has-hydrated=false><head><meta charset=UTF-8><meta name=generator content="Docusaurus v3.10.2"><title data-rh=true>fast-check official documentation | fast-check</title><meta data-rh=true name=viewport content="width=device-width, initial-scale=1.0"/><meta data-rh=true name=twitter:card content=summary_large_image /><meta data-rh=true property=og:image content=https://fast-check.dev/img/social.png /><meta data-rh=true name=twitter:image content=https://fast-check.dev/img/social.png /><meta data-rh=true property=og:url content=https://fast-check.dev/ /><meta data-rh=true property=og:locale content=en /><meta data-rh=true name=docusaurus_locale content=en /><meta data-rh=true name=docusaurus_tag content=default /><meta data-rh=true name=docsearch:language content=en /><meta data-rh=true name=docsearch:docusaurus_tag content=default /><meta data-rh=true property=og:title content="fast-check official documentation | fast-check"/><meta data-rh=true name=description content="fast-check is a Property-based Testing framework for JavaScript and TypeScript. It works with Jest, Mocha, Vitest, and others. Let's fuzz!"/><meta data-rh=true property=og:description content="fast-check is a Property-based Testing framework for JavaScript and TypeScript. It works with Jest, Mocha, Vitest, and others. Let's fuzz!"/><link data-rh=true rel=icon href=/img/favicon.ico /><link data-rh=true rel=canonical href=https://fast-check.dev/ /><link data-rh=true rel=alternate href=https://fast-check.dev/ hreflang=en /><link data-rh=true rel=alternate href=https://fast-check.dev/ hreflang=x-default /><link data-rh=true rel=preconnect href=https://XIUK9DGBYC-dsn.algolia.net crossorigin=anonymous />
1<script data-rh=true>document.addEventListener("DOMContentLoaded",function(){void 0===window.docusaurus&&insertBanner()});function insertBanner(){var n=document.createElement("div");n.id="__docusaurus-base-url-issue-banner-container",n.innerHTML='\n<div id="__docusaurus-base-url-issue-banner" style="border: thick solid red; background-color: rgb(255, 230, 179); margin: 20px; padding: 20px; font-size: 20px;">\n <p style="font-weight: bold; font-size: 30px;">Your Docusaurus site did not load properly.</p>\n <p>A very common reason is a wrong site <a href="https://docusaurus.io/docs/docusaurus.config.js/#baseUrl" style="font-weight: bold;">baseUrl configuration</a>.</p>\n <p>Current configured baseUrl = <span style="font-weight: bold; color: red;">/</span> (default value)</p>\n <p>We suggest trying baseUrl = <span id="__docusaurus-base-url-issue-banner-suggestion-container" style="font-weight: bold; color: green;"></span></p>\n</div>\n',document.body.prepend(n);var e=document.getElementById("__docusaurus-base-url-issue-banner-suggestion-container"),s=window.location.pathname;e.textContent="/"===s.substr(-1)?s:s+"/"}</script>
1<link rel=alternate type=application/rss+xml href=/blog/rss.xml title="fast-check RSS Feed"><link rel=alternate type=application/atom+xml href=/blog/atom.xml title="fast-check Atom Feed"><link rel=search type=application/opensearchdescription+xml title=fast-check href=/opensearch.xml><link rel=icon href=/img/favicon.ico><link rel=manifest href=/manifest.json><meta name=theme-color content="rgb(40, 46, 169)"><meta name=apple-mobile-web-app-capable content=yes><meta name=apple-mobile-web-app-status-bar-style content=#000><link rel=apple-touch-icon href=/img/favicon.ico><link rel=mask-icon href=/img/mug.svg color="rgb(40, 46, 169)"><meta name=msapplication-TileImage content=/img/favicon.ico><meta name=msapplication-TileColor content=#000><link rel=stylesheet href=/assets/css/styles.acc0bc2a.css />
1<script src=/assets/js/runtime~main.b2875481.js defer></script>
1<script src=/assets/js/main.cdf3de1b.js defer></script>
1</head><body><svg style="display: none;"><defs> 2<symbol id=theme-svg-external-link viewBox="0 0 24 24"><path fill=currentColor d="M21 13v10h-21v-19h12v2h-10v15h17v-8h2zm3-12h-10.988l4.035 4-6.977 7.07 2.828 2.828 6.977-7.07 4.125 4.172v-11z"/></symbol> 3</defs></svg>
4<script>!function(){var t=function(){try{return new URLSearchParams(window.location.search).get("docusaurus-theme")}catch(t){}}()||function(){try{return window.localStorage.getItem("theme-815")}catch(t){}}();document.documentElement.setAttribute("data-theme",t||"light"),document.documentElement.setAttribute("data-theme-choice",t||"light")}(),function(){try{for(var[t,e]of new URLSearchParams(window.location.search).entries())if(t.startsWith("docusaurus-data-")){var a=t.replace("docusaurus-data-","data-");document.documentElement.setAttribute(a,e)}}catch(t){}}()</script>
4<div id=__docusaurus><link rel=preload as=image href=/img/mug.svg /><link rel=preload as=image href=/assets/images/logo-59f1b0ca94574d7058bab44d061bf4b5.png /><link rel=preload as=image href=https://badge.fury.io/js/fast-check.svg /><link rel=preload as=image href=https://img.shields.io/npm/dm/fast-check /><link rel=preload as=image href="https://img.shields.io/github/stars/dubzzz/fast-check?style=social"/><div role=region aria-label="Skip to main content"><a class=skipToContent_dXZX href=#__docusaurus_skipToContent_fallback>Skip to main content</a></div><nav aria-label=Main class="theme-layout-navbar navbar navbar--fixed-top"><div class=navbar__inner><div class="theme-layout-navbar-left navbar__items"><button aria-label="Toggle navigation bar" aria-expanded=false class="navbar__toggle clean-btn" type=button><svg width=30 height=30 viewBox="0 0 30 30" aria-hidden=true><path stroke=currentColor stroke-linecap=round stroke-miterlimit=10 stroke-width=2 d="M4 7h22M4 15h22M4 23h22"/></svg></button><a class=navbar__brand href=/><div class=navbar__logo><img src=/img/mug.svg alt="fast-check Logo" class="themedComponent_Ai_L themedComponent--light_ZlZ8" width=40px /><img src=/img/mug.svg alt="fast-check Logo" class="themedComponent_Ai_L themedComponent--dark_SjC_" width=40px /></div><b class="navbar__title text--truncate">fast-check</b></a><a class="navbar__item navbar__link" href=/docs/introduction/>Documentation</a><a class="navbar__item navbar__link" href=/docs/tutorials/quick-start/basic-setup/>Quick Start</a><a class="navbar__item navbar__link" href=/docs/tutorials/>All Tutorials</a><a class="navbar__item navbar__link" aria-label="Support us" href=/docs/support-us/>â¤ï¸</a></div><div class="theme-layout-navbar-right navbar__items navbar__items--right"><a class="navbar__item navbar__link" href=/blog/>Blog</a><a class="navbar__item navbar__link" href=/docs/api/>API</a><a href=https://bsky.app/profile/fast-check.dev target=_blank rel="noopener noreferrer" class="navbar__item navbar__link header-bluesky-link" aria-label="Bluesky account"></a><a href=https://github.com/dubzzz/fast-check target=_blank rel="noopener noreferrer" class="navbar__item navbar__link header-github-link" aria-label="GitHub repository"></a><a href=https://tangled.org/fast-check.dev/fast-check target=_blank rel="noopener noreferrer" class="navbar__item navbar__link header-tangled-link" aria-label="Tangled repository"></a><div class="toggle_sqG3 colorModeToggle_O4F7"><button class="clean-btn toggleButton_Bgng toggleButtonDisabled_Lzv4" type=button disabled title="system mode" aria-label="Switch between dark and light mode (currently system mode)"><svg viewBox="0 0 24 24" width=24 height=24 aria-hidden=true class="toggleIcon_GfG7 lightToggleIcon_od1H"><path fill=currentColor d="M12,9c1.65,0,3,1.35,3,3s-1.35,3-3,3s-3-1.35-3-3S10.35,9,12,9 M12,7c-2.76,0-5,2.24-5,5s2.24,5,5,5s5-2.24,5-5 S14.76,7,12,7L12,7z M2,13l2,0c0.55,0,1-0.45,1-1s-0.45-1-1-1l-2,0c-0.55,0-1,0.45-1,1S1.45,13,2,13z M20,13l2,0c0.55,0,1-0.45,1-1 s-0.45-1-1-1l-2,0c-0.55,0-1,0.45-1,1S19.45,13,20,13z M11,2v2c0,0.55,0.45,1,1,1s1-0.45,1-1V2c0-0.55-0.45-1-1-1S11,1.45,11,2z M11,20v2c0,0.55,0.45,1,1,1s1-0.45,1-1v-2c0-0.55-0.45-1-1-1C11.45,19,11,19.45,11,20z M5.99,4.58c-0.39-0.39-1.03-0.39-1.41,0 c-0.39,0.39-0.39,1.03,0,1.41l1.06,1.06c0.39,0.39,1.03,0.39,1.41,0s0.39-1.03,0-1.41L5.99,4.58z M18.36,16.95 c-0.39-0.39-1.03-0.39-1.41,0c-0.39,0.39-0.39,1.03,0,1.41l1.06,1.06c0.39,0.39,1.03,0.39,1.41,0c0.39-0.39,0.39-1.03,0-1.41 L18.36,16.95z M19.42,5.99c0.39-0.39,0.39-1.03,0-1.41c-0.39-0.39-1.03-0.39-1.41,0l-1.06,1.06c-0.39,0.39-0.39,1.03,0,1.41 s1.03,0.39,1.41,0L19.42,5.99z M7.05,18.36c0.39-0.39,0.39-1.03,0-1.41c-0.39-0.39-1.03-0.39-1.41,0l-1.06,1.06 c-0.39,0.39-0.39,1.03,0,1.41s1.03,0.39,1.41,0L7.05,18.36z"/></svg><svg viewBox="0 0 24 24" width=24 height=24 aria-hidden=true class="toggleIcon_GfG7 darkToggleIcon_caRp"><path fill=currentColor d="M9.37,5.51C9.19,6.15,9.1,6.82,9.1,7.5c0,4.08,3.32,7.4,7.4,7.4c0.68,0,1.35-0.09,1.99-0.27C17.45,17.19,14.93,19,12,19 c-3.86,0-7-3.14-7-7C5,9.07,6.81,6.55,9.37,5.51z M12,3c-4.97,0-9,4.03-9,9s4.03,9,9,9s9-4.03,9-9c0-0.46-0.04-0.92-0.1-1.36 c-0.98,1.37-2.58,2.26-4.4,2.26c-2.98,0-5.4-2.42-5.4-5.4c0-1.81,0.89-3.42,2.26-4.4C12.92,3.04,12.46,3,12,3L12,3z"/></svg><svg viewBox="0 0 24 24" width=24 height=24 aria-hidden=true class="toggleIcon_GfG7 systemToggleIcon_hYlV"><path fill=currentColor d="m12 21c4.971 0 9-4.029 9-9s-4.029-9-9-9-9 4.029-9 9 4.029 9 9 9zm4.95-13.95c1.313
41.313 2.05 3.093 2.05 4.95s-0.738 3.637-2.05 4.95c-1.313 1.313-3.093 2.05-4.95 2.05v-14c1.857 0 3.637 0.737 4.95 2.05z"/></svg></button></div><div class=navbarSearchContainer_uFvl><button type=button class="DocSearch DocSearch-Button" aria-label="Search (Meta+k)" aria-keyshortcuts=Meta+k><span class=DocSearch-Button-Container><svg width=20 height=20 class=DocSearch-Search-Icon viewBox="0 0 24 24" aria-hidden=true><circle cx=11 cy=11 r=8 stroke=currentColor fill=none stroke-width=1.4 /><path d="m21 21-4.3-4.3" stroke=currentColor fill=none stroke-linecap=round stroke-linejoin=round /></svg><span class=DocSearch-Button-Placeholder>Search</span></span><span class=DocSearch-Button-Keys></span></button></div></div></div><div role=presentation class=navbar-sidebar__backdrop></div></nav><div id=__docusaurus_skipToContent_fallback class="theme-layout-main main-wrapper mainWrapper_IVGs"><header class="hero hero--primary heroBanner_c70D"><div class=container><h1 class="hero__title mainTitle__nEK"><img src=/assets/images/logo-59f1b0ca94574d7058bab44d061bf4b5.png alt=fast-check class=mainTitleLogo_bpkM width=570px height=103px /></h1><div class="hero__subtitle subTitle_omXa">Property-based testing for JavaScript and TypeScript<div class=taglineBadges_Iwby><a href=https://npmx.dev/package/fast-check target=_blank rel=noopener><img src=https://badge.fury.io/js/fast-check.svg alt="npm version" width=133 height=20 /></a><a href=https://npmx.dev/package/fast-check target=_blank rel=noopener><img src=https://img.shields.io/npm/dm/fast-check alt="monthly downloads" width=146 height=20 /></a><a href=https://github.com/dubzzz/fast-check/stargazers target=_blank rel=noopener><img src="https://img.shields.io/github/stars/dubzzz/fast-check?style=social" alt="number of stars" width=90 height=20 /></a></div></div><div><div class=quickNavigationButtons_ZH4E><a class="button button--secondary button--lg" href=/docs/tutorials/quick-start/basic-setup/>Quick Start â 5min â±ï¸</a></div></div></div></header><main><div class=container><section class=features_t9lD><div class="container allFeatureCards_BpUK"><div class=featureCard_QAQr><div><svg xmlns=http://www.w3.org/2000/svg xml:space=preserve width=144 height=144 fill=#343DDC viewBox="0 0 432.458 432.458" class=featureSvg_GfXr role=img loading=lazy><title>Illustration for Testing made easy</title>
4<path d="M322.743 106.629a172 172 0 0 0-8.873-13.08c-25.777-34.375-60.453-53.307-97.641-53.307s-71.864 18.932-97.641 53.307a172 172 0 0 0-8.874 13.08c20.061 31.973 60.275 53.85 106.514 53.85 46.241 0 86.455-21.877 106.515-53.85m94.715 95.126h-65.606c-.808-12.567-2.625-24.87-5.406-36.742l51.575-51.576c5.858-5.858 5.858-15.355 0-21.213s-15.355-5.858-21.213 0l-25.966 25.966c-7.348 12.845-17.202 24.674-29.365 35.028-24.637 20.972-56.246 33.718-90.248 36.621v202.376c31.443-4.39 60.365-22.55 82.641-52.255a174 174 0 0 0 10.881-16.395l52.058 52.058a14.95 14.95 0 0 0 10.607 4.393c3.838 0 7.678-1.465 10.606-4.393 5.858-5.858 5.858-15.355 0-21.213l-59.579-59.58c7.427-19.594 11.986-40.927 13.41-63.076h65.606c8.284 0 15-6.716 15-15-.001-8.283-6.717-14.999-15.001-14.999M201.23 189.84c-34.003-2.903-65.612-15.649-90.249-36.621-12.163-10.354-22.017-22.183-29.365-35.028L55.65 92.224c-5.858-5.858-15.356-5.858-21.213 0s-5.858 15.355 0 21.213l51.575 51.575c-2.78 11.873-4.598 24.175-5.406 36.742H15c-8.284 0-15 6.716-15 15s6.716 15 15 15h65.606c1.424 22.149 5.983 43.482 13.41 63.076l-59.579 59.579c-5.858 5.858-5.858 15.355 0 21.213s15.355 5.858 21.213 0l52.058-52.058a174 174 0 0 0 10.881 16.395c22.274 29.705 51.197 47.866 82.641 52.255z"/></svg></div><div class="text--center padding-horiz--md"><p class=featureName_zdZp>Testing made easy<p>Finding bugs has never been so easy! From classical edge cases to very complex combinations of inputs, fast-check is able to detect any class of bug.</div></div><div class=featureCard_QAQr><div><svg xmlns=http://www.w3.org/2000/svg width=144 height=144 fill=#343DDC viewBox="0 0 24 24" class=featureSvg_GfXr role=img loading=lazy><title>Illustration for Test runner agnostic</title><path d="m5.48 10.089 1.583-1.464c1.854.896 3.028 1.578 5.11 3.063C16.089 7.246 18.676 4.992 23.485 2L24 3.186C20.035 6.646 17.13 10.5 12.949 18c-2.579-3.038-4.301-4.974-7.469-7.911M18 13.406V20H2V4h15.141a44 44 0 0 1 2.691-2H0v20h20V10.491a55 55 0 0 0-2 2.915"/></svg></div><div class="text--center padding-horiz--md"><p class=featureName_zdZp>Test runner agnostic<p>fast-check can be used within any test runner without any specific integration needed. It works well with<!-- --> <a href=https://jestjs.io/ target=_blank rel=noopener>Jest</a>,<!-- --> <a href=https://mochajs.org/ target=_blank rel=noopener>Mocha</a>,<!-- --> <a href=https://vitest.dev/ target=_blank rel=noopener>Vitest</a>, and others.</div></div><div class=featureCard_QAQr><div><svg xmlns=http://www.w3.org/2000/svg width=144 height=144 viewBox="0 0 1280 1254" class=featureSvg_GfXr role=img loading=lazy><title>Illustration for Next level testing</title><path d="M895.2 1c-9.8 2.1-18.6 9.1-23.4 18.9-1.8 3.7-2.2 6.3-2.3 13.1 0 15.4-2.5 12.3 51.9 66.8l48.1 48.2-85.3 85.3-85.2 85.2-66.7-66.6c-76.1-75.8-70.6-71.4-87.3-71.4-8.5 0-10.1.3-15.4 2.9-7.6 3.7-14 10.1-17.4 17.4-2.4 5-2.7 7-2.7 15.7 0 17.1-2.4 14 56.1 72.6l50.5 50.5-73.8 73C601.7 452.7 497 556.1 409.5 642.4S235.9 813.9 218.1 831.6l-32.5 32.2 11.8 88.4c6.4 48.5 11.9 89.2 12.1 90.3.4 1.6-21.8 24.2-104 106.4-57.4 57.5-104.4 104.6-104.2 104.6.1.1 13.8-2.3 30.5-5.4l30.3-5.7 87.7-87.6 87.7-87.7 84 13c46.2 7.1 85 12.9 86.2 12.9 2.1 0 22.6-20.2 423.3-415.9C943.5 566 942.5 567 943.5 567c.6 0 23 22 50 49 56.2 56.3 54 54.5 70 54.5 7.7 0 9.8-.4 14.7-2.7 7.9-3.7 14.2-9.8 18.1-17.7 2.9-6 3.2-7.3 3.2-16.1-.1-16.4 3.6-11.9-71.7-86.9-36.2-36-65.8-65.9-65.8-66.5s38.1-39.2 84.7-85.8l84.8-84.8 48 47.8c54.3 54.2 52.4 52.6 67 52.7 10.2 0 17.1-3.1 24.4-11 8.2-9.1 10.7-21.4 6.7-33.5-1.8-5.3-8.3-12-178.5-182.3C942.6 27 921.8 6.6 916.5 4c-6.7-3.3-14.6-4.4-21.3-3m121.1 363.2c-46.7 46.7-85.2 84.8-85.8 84.8-.5 0-23.4-22.4-50.7-49.7L830 349.5l85.2-85.2 85.3-85.3 50.2 50.2 50.3 50.3zM873.8 496.6c20.4 20.4 37.2 37.6 37.2 38.1 0 1.2-39.2 40.1-274 271.8-110.8 109.4-210.8 208.1-222.2 219.4l-20.8 20.5-70.7-10.8c-39-5.9-71-11-71.2-11.2-.8-.7-19.1-139.9-18.9-142.9.3-2.5 9.2-11.8 54.7-56.8l54.5-53.7 31.1 30.9c20.4 20.4 32.3 31.5 34.7 32.6 11.1 4.6 23.5-2.3 25.4-14.1 1.3-8.5.5-9.5-33.4-43.7L368.5 745l9-9.1c5-5 13.9-13.6 19.8-19.1l10.8-10.1 30.7 30.6c20.4 20.3 31.9 31.1 34.4 32.2 11.1 4.6 23.5-2.3 25.4-14.1 1.3-8.5.5-9.6-33.2-43.4L434 680.5l19.5-19.5 19.5-19.5 30.8 30.7c16.9 16.8 32.1 31.3 33.9 32.2 4.9 2.4 11.9 2.1 16.9-.9 7.3-4.3 10.6-12.3 8.4-20.6-1-3.9-4.8-8-32.3-35.7L499.5 616l19.5-19.5 19.5-19.5 31 30.9c17 17.1 32.3 31.5 33.8 32 14.3 5.4 28.6-7.4 24.7-22-1-3.9-4.8-8-32.1-35.4l-30.9-31 19.5-19.5 19.5-19.5 30.8 30.7c16.9 16.9 32 31.2 33.5 31.8 14.3 5.3 28.6-7.5 24.7-22.1-1-3.9-4.8-8.1-32-35.4l-30.8-31 19.7-19.2 19.7-19.2 30 30c16.4 16.5 31.2 30.7 32.8 31.6 4.6 2.4 14.5 1.4 18.8-1.9 6.7-5.1 9.1-15.4 5.4-22.8-1-1.9-15.2-16.9-31.5-33.3l-29.6-29.8 26-25.4 26-25.3 44.5 44.1c24.5 24.3 61.3 60.9 81.8 81.3"/></svg></div><div class="text--center padding-horiz--md"><p class=featureName_zdZp>Next level testing<p>Let fuzzing and generative testing help you into uncovering the most challenging bugs: race conditions, prototype poisoning, zero-daysâ¦</div></div></div><div><div class="language-js codeBlockContainer_yWgN theme-code-block" style=--prism-color:#393A34;--prism-background-color:#f6f8fa><div class=codeBlockContent_HSyE><pre tabindex=0 class="prism-code language-js codeBlock_OVGY thin-scrollbar" style=color:#393A34;background-color:#f6f8fa><code class=codeBlockLines_EMU1><div class=token-line style=color:#393A34><span class="token function" style=color:#d73a49>test</span><span class="token punctuation" style=color:#393A34>(</span><span class="token string" style=color:#e3116c>
4'validates substring presence in concatenated string'</span><span class="token punctuation" style=color:#393A34>,</span><span class="token plain"> </span><span class="token punctuation" style=color:#393A34>(</span><span class="token punctuation" style=color:#393A34>)</span><span class="token plain"> </span><span class="token arrow operator" style=color:#393A34>=></span><span class="token plain"> </span><span class="token punctuation" style=color:#393A34>{</span><span class="token plain"></span><br/></div><div class=token-line style=color:#393A34><span class="token plain"> fc</span><span class="token punctuation" style=color:#393A34>.</span><span class="token method function property-access" style=color:#d73a49>assert</span><span class="token punctuation" style=color:#393A34>(</span><span class="token plain"></span><br/></div><div class=token-line style=color:#393A34><span class="token plain"> fc</span><span class="token punctuation" style=color:#393A34>.</span><span class="token method function property-access" style=color:#d73a49>property</span><span class="token punctuation" style=color:#393A34>(</span><span class="token plain">fc</span><span class="token punctuation" style=color:#393A34>.</span><span class="token method function property-access" style=color:#d73a49>string</span><span class="token punctuation" style=color:#393A34>(</span><span class="token punctuation" style=color:#393A34>)</span><span class="token punctuation" style=color:#393A34>,</span><span class="token plain"> fc</span><span class="token punctuation" style=color:#393A34>.</span><span class="token method function property-access" style=color:#d73a49>string</span><span class="token punctuation" style=color:#393A34>(</span><span class="token punctuation" style=color:#393A34>)</span><span class="token punctuation" style=color:#393A34>,</span><span class="token plain"> fc</span><span class="token punctuation" style=color:#393A34>.</span><span class="token method function property-access" style=color:#d73a49>string</span><span class="token punctuation" style=color:#393A34>(</span><span class="token punctuation" style=color:#393A34>)</span><span class="token punctuation" style=color:#393A34>,</span><span class="token plain"> </span><span class="token punctuation" style=color:#393A34>(</span><span class="token parameter">a</span><span class="token parameter punctuation" style=color:#393A34>,</span><span class="token parameter"> b</span><span class="token parameter punctuation" style=color:#393A34>,</span><span class="token parameter"> c</span><span class="token punctuation" style=color:#393A34>)</span><span class="token plain"> </span><span class="token arrow operator" style=color:#393A34>=></span><span class="token plain"> </span><span class="token punctuation" style=color:#393A34>{</span><span class="token plain"></span><br/></div><div class=token-line style=color:#393A34><span class="token plain"> </span><span class="token function" style=color:#d73a49>expect</span><span class="token punctuation" style=color:#393A34>(</span><span class="token function" style=color:#d73a49>isSubstring</span><span class="token punctuation" style=color:#393A34>(</span><span class="token template-string template-punctuation string" style=color:#e3116c>`</span><span class="token template-string interpolation interpolation-punctuation punctuation" style=color:#393A34>${</span><span class="token template-string interpolation">a</span><span class="token template-string interpolation interpolation-punctuation punctuation" style=color:#393A34>}</span><span class="token template-string interpolation interpolation-punctuation punctuation" style=color:#393A34>${</span><span class="token template-string interpolation">b</span><span class="token template-string interpolation interpolation-punctuation punctuation" style=color:#393A34>}</span><span class="token template-string interpolation interpolation-punctuation punctuation" style=color:#393A34>${</span><span class="token template-string interpolation">c</span><span class="token template-string interpolation interpolation-punctuation punctuation" style=color:#393A34>}</span><span class="token template-string template-punctuation string" style=color:#e3116c>
4`</span><span class="token punctuation" style=color:#393A34>,</span><span class="token plain"> b</span><span class="token punctuation" style=color:#393A34>)</span><span class="token punctuation" style=color:#393A34>)</span><span class="token punctuation" style=color:#393A34>.</span><span class="token method function property-access" style=color:#d73a49>toBe</span><span class="token punctuation" style=color:#393A34>(</span><span class="token boolean" style=color:#36acaa>true</span><span class="token punctuation" style=color:#393A34>)</span><span class="token punctuation" style=color:#393A34>;</span><span class="token plain"></span><br/></div><div class=token-line style=color:#393A34><span class="token plain"> </span><span class="token punctuation" style=color:#393A34>}</span><span class="token punctuation" style=color:#393A34>)</span><span class="token plain"></span><br/></div><div class=token-line style=color:#393A34><span class="token plain"> </span><span class="token punctuation" style=color:#393A34>)</span><span class="token punctuation" style=color:#393A34>;</span><span class="token plain"></span><br/></div><div class=token-line style=color:#393A34><span class="token plain"></span><span class="token punctuation" style=color:#393A34>}</span><span class="token punctuation" style=color:#393A34>)</span><span class="token punctuation" style=color:#393A34>;</span><br/></div></code></pre></div></div></div></section></div><section class=blueBanner_NrVP><div class="container subsectionContainer_htnN"><h2>They trust usâ¦</h2><p>These projects have been using fast-check for some time now and have found some issues thanks to it!<div class=trustUsLogos_nMZe><a class=trustUsSingleLogo_v4it href=https://jestjs.io/ target=_blank rel=noopener><img src=/assets/images/jest-128-3c8c6533a394a744f39350f7923f82ee.png alt="Jest Logo" width=128 height=128 loading=lazy /><span>Jest</span></a><a class=trustUsSingleLogo_v4it href=https://jasmine.github.io/ target=_blank rel=noopener><img src=/assets/images/jasmine-128-000f1ea507603d45d242cab1f6789101.png alt="Jasmine Logo" width=128 height=128 loading=lazy /><span>Jasmine</span></a><a class=trustUsSingleLogo_v4it href=https://gcanti.github.io/fp-ts/ target=_blank rel=noopener><img src=data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAIAAAACACAYAAADDPmHLAAAUQXpUWHRSYXcgcHJvZmlsZSB0eXBlIGV4aWYAAHja7ZpZcis5kkX/sYpeAuZhOQAcMOsd1PLr3CCllN6QndldH2XW9ZQSJTIYAHy4gzPd+cd/X/df/Cu5RZdL63XU6vmXRx5x8kv3r3/j+Rl8fn4+/z5e4u9vz7vPFyJPJR7T688239dPni8/3yis78+7/n4l9veNwueNn39JK+t3+7pJno+v50N+32ic1y919PZ1q+t9o/2+8NnK+zt/buv1oL/dtycaUbLCQinGk0Lyz8/82kHSd0qTx8LPkArXcc3ze3Y85NTfNyMg34738ej91wB9C/LHb+7H6H/+9kPw43w/n36IZX3HiF9++UIoPzyfPpeJXxdOnzuK31+I4yMPPwf5Xuv3ntfpZq5EtL4r6gl2+LgNFy5Cnp63Vb4a34Xf2/M1+Op++s1S5rdffO0wQiTi14UcLMxww3ked9hsMccTG48x7pie53pqccSdlKesr3BjSyNZ6uRyx+NIaE7xcy/hWXc86+3QWdkCl8bAzQJv+e2X+7MX/86Xu3crRMH3z1ixr6i6ZhvKnH5yFSkI95238gT44+udfv+lfihVMlieMHcOOP163WKV8EdtpSfPiesKj68cB9fsfQNCxNqFzYREBnylB0INvsXYQiCOnQRNdh5TjosMhFKiscmYU6rRtdij1uY9LTzXxhJr1NNgE4koqaZGbkaaJCvnQv203KmhWVLJpZRaWumujDJrqrmWWmurArnZUsuttNpa62202VPPvfTaW+999DniSGBgGXW00ccYc0Y3WWhyr8n1k2dWXGnlVVZdbfU11tyUz8677Lrb7nvsadGSARNWrVm3YfMEd0CKk0859bTTzzjzUms33XzLrbfdfsedn1l7Z/Wnr7+RtfDOWnwypevaZ9Z41rX2cYsgOCnKGRmLOZDxpgxQ0FE58z3kHJU55cwPoVyJbLIoN86CMkYK8wmx3PCZuz8y95fy5kr/S3mL/1PmnFL3r8icI3U/5+0XWTPx3H4y9upCxdQnuu9Ulo+uz7tKOiFH/upTBPe/enT+/3iD/9zoPzf6f3Sj4mfu+wBCSI/5vPCXH93PLwBUcTcUncXS1mg9LNQHdGVxBstzl7ZtxGJ219lrnub3Xu6iG+8EPcq2PjfXpZ0gmDWs9bzjAobuKGmVjkLZaV1vFcAIYNaZ3m6tYOdJ7OiuxY1YJOwe7rDawaC1Q6tlltNbAKnGCm2UYKu2vQNgV4/tPX2zU7lfm8W1uQz1n+oNZrZWDrHvCUqD7dwllYOCqN1qKyXbstByMmTbNpAVFGeduc4yl+8AkOe600DfWPuaK9/ZANM1TuRH6rs2wsOCXERCrlIitzGijQGcxr66Wy20NV+hHiOGXPhPWtQSuJ92SJOj9tzGHBf4rveOs25cbd5q298SOmm5EGSDIEB59CIYXdo1PzkUS4HHZSDeuFX1yE4iWHj3FCGxMZS7L0SuE61kbqRbWwbkd78VaB9KSTmk+hgBgc+upXXCPL1UOGyyz2OIH5iCHcEVyxCYy1nL5s+AwuoRU3aYLVwuTdfqPIWcxXxWyWT2wpG1kZDTLcFe5juUWbgmV1QtCjhzKsTu2CvWdlFYaKwyzMYsffdl12+KAtYJ5ckFOydOa7fAjnozqg7FltuBvkeD5UMg7ddGuSsYIWxUyLrWbprnHoI6SWSFvm6vee86a5idZFKrjqCm1fqgngsLhMXOe2xUWuCFgmiuyIyQto/tLit9FKM48l67rH451cItXGWtUCj3xE7qKCIOsBEUGKkSBkmglGeN0o7sOteAj3tKZdU09peGd38OEcsiGStn7RoXhZz7MGoIkt+97JY3yqeenq5ExE2Fo+9zTlmcLK9Bv9dNJeEdPEqh0qlWEUXZULLcrj/2b9H/VNOk8kq/bpJuaosanMOfFWbZSZJ5b/rl7FbO3plqTVQW5SopkvpaNOImtwANNb/uLo4qWpsk9VsqYWLLoMY6d+l0R9XNIdoIiJdkrVQLxs7VOvFQTgtRhnabwW36YrIStUuZqmvtF11L63sDLjih3Y2CuvgjyoPk0BEExtz1d68k+bbpkxK7mpbwErbUyW29Po9GEncKfS8ASaJoAz3F/O3h+Mu6fbsq+2Rh7a1jgKiUWZyAS/SnAHaTezcizq5IBN9g6WwZzKuD2A/8WO8k0R1fqZao7/ZqLmBuA3SAHGBqJUoo0uaJUmflmzu9mS+ZoEKNU3BtussFWjX307mH6rt4ioVurKfeGO/CWdpuJ1Iw80ER5GPWPhuxbpAEmvPKMLoeS++L6r2ZRNogcePw7tCjFfQkbji0g2nt2WJqABkxOQn4zXMB6zdUovNMa4wzcwMQb6hXFqCGEt1Us0TuBZxoqgZoVEzAjbwROZyPIMxftgnLsJQTRg+TEG5k1tIGe7kZNYqdhSsaTxQLp6+TWPOCjTF1ljaPBr81+n0LZecy26dbz6olAf+EjWaZakg4htLfFtheCQ2xbBgDqGbDQNDINfxguzAh901OqEGe+aa2UzZAuYbAX1PQC14PQHVAuPiShxiwKJ8M8eXR/fjE18emkgcBiMZ89/7JdHML4HyB5MiWsYh/d3+ZivPZgHbDO+x+6Ay0RMn7WOrB8K+Er9NuceBvIpWxD6ef5MvGHY3fXfUjlJsEz9gv0jQjcAxu5jGywSIzH9p7sSjUsLaBgbP2DAnEV6Ofp9HZEfG1d69Teg+YiVfnqjzDiseDjCWozym9ge2ExqAwWok/KJvQ5UXmKhFGItAHJAdzoB4wiftTOcl6ni1SdLbRLLjkBwEmwAKNUZKaE1batEOQGe+UT0TeQNOxdV9lHUEajsS+/E1J7ZzLot8AJOJC3/AD4Bz9njsrwe+0SEIaZKFlMqwcHh6GmLhMP8EsyNs4EaRLCGE6wHLVOURdaBY0VpPwucbRaI2O5TLeS6+zCp159oyWI/25Ct1HphAkU2X8gkH4Sg0agwRGqznW6gqa6wHUlCqM29ho9/QUJAU1hSee86jIa0YA4CVP4jaNC5EnGWkQHhXiYqkcpAjNYT5SZqlUlkmUwYz7RooT7j3EptZMedGPKLdWE1roeFgV1h2TOoLw1zEIRzNHK+tkFkGABPlQaM2IxeiKGEJwX1LkK425ysFEQ7sQwy5qkTsmm2NjyGP2hErhgCnveYA08HNAWO828/H3Itn99MLI/q2OpUZDE82RyhpOpbwgLsDyHH6LeyCOqNckFnWNAhxgG6SZIV3OTj3myO7AMuFvYPsUOdRhqCSTWMbpo00GKax3IEsApO0CjILMPVDq1PSv5wezUTcopkpeaSC6FCs/4Sf2upBPqJKTKrqXvGTaAZH8EKS/I2ehVamtkacaKvouRDQm5Y4Q3urHc9SUj9Qb9I7gU4wz0oMDjlhnjkyxoVxQ6ZEUwD4PS8ZCYIBFCD7dVEmfdkLpSIM/1YeAere7e/p9D9QLa/2242GhRCgjtRbQqtRNhG2aHEA+gHfxTmcm3pxhFE49Jso0mbWT0QNHpXl4H2wPAN053gOLW/INFOeSL0Bm1uECfAluXlp8wlumMcqdUpqwEdoeEu5qrxXn8qy8gRUvbiGZkWXoQlCY7qcW4YgFvlcgDtBHoCFQrx2b6jiOFdFfgD8wgvweRyNkFDkWiiJBQx4p8o3NYidIF6TFidQx6iYU6X5kMZh1YsRa0floYA9kDfVtoMXRRKAA1m4Iild2AqJ2KEk0DJkmcDnakzP5hzK3Oh08ajHGATreA0IgtoBbFu+qD8KJPDaJmX2675XmYiOSO4jp7RE1wKZnB3mg98o50F4T8kUKS4HCgpFXdA+6yLEWiUyBqkXmd6gJMXMI5uItNFii28FbDj49gmw92NUkoKwDGWaIGXojY2oGWp7EgL00GK1WPW7uMWLQwMCDbNuxfFixldMvMcDRVY2SxDJ4imIfKHWB6IAT3B7hUJD0szOfxkwwKteBOxK1BDpgNqZD4s6Fu4AiOolEkak6wiQ7IDYHJ6k5XFhDuIH9vdU/dg/KQPZgvo6nKlAjYdOKtMGQKM4wufqyH7/gaQKqrKTzrdE/+xyUpm/uHuzU/YEcuaJtOprQ7ADO9hyG+B/5y6PwoB82LgXbj+uhZWhzTBrlRhpdfyLIuQsMip2pcIjEOSuyM7K7FjJCLjTkmUAHYobrX0OOemlGjoeq1lzKCiq2lBLXuzu+E7449HTF1gtwZIavxA5x4yIqKMKq0begMUDnqKCMawU21bYvl0m8bQQjfgtfSP5PQvxSOJAAjSJOwaocEjMIDxVLSYNsnQpxE6ShqgpJBwfR8fLWyH50jsffyQMBN6vSEPBsxDA1bBwIZrpSemnjT6T80xJdgCPIeNrGamj40gSQwl4vqYV0Q/g3JRwhICPV/jBSoHki82hIfS60EsmmPFCWON+NQPKWEUkJQjR8EPpz5wijoJDXpaa6hyxwepeQw1ljOTSJpvP8zHQY6nmjSNC7V+6KnsmJTH96q2duAvk/YxPxcKeiqKUwXUfHQanCDZlDHAB4l3A3gCJXpJg/UZos75fmYoNfVJdJdblHdr1EBHKEndWX6Ho4mtvgglceMEmlrePBPYENNetOtKCMU0PWNsNBVoCsQDK51meIBb7hs+igK+fbaIouSjqGTjoycg8RPb7tlEl/a+qC9EM8duqDzlMVwn6ee4sfSJw+cQXelTAUN4ykEQ4mgEID+fG6fm6IptdijiZE5tA+7Aib1mOmC9YzhZl7RQTeaRnrrfkT6h1HAyHASsiWJl1+347TeWSXpxJocRoMnE0bbM4CpUVFQbRszgjFxetuPyHSbiV7KrTSQ3hfKnmX5vZjbjCOWMIhUtaMw8Ym1SSniCqLYuLPK/5NdLC/zKsESdcfp9Yti0SFR6k0jC8gm8drLiTlI+EDSqcVE9KZw9OChF8fGhzYqfKucqPDsCzYZgS2DGXb42TwF/wRNSCK6gYIMy8gQnCKmpi4Y/ZRNDIIJtCl+5MtzR054KDTn7LAc6SpEdYDVVQNzY43SFkTJTT3Fzh7LpkY4uYmIHgodPwscNZ+hjM2EWkfcAcOB9TJk9wE55XlsKWp5B3X7aexDUShaY9cKloDtMNGbOR7H50Wm2k2fSZL4Q9vGmKds+IL9lA6vBVgg4yJNPZ5AVh4Njg2jA0JPhp/4ppVSkkzAZYOiU7LyK+MFYc9cLlSNvp8TTBDLCPEc+IAczcEg2wETHECUDD1btBQuGuSUBVfwy/j5BAA1J4g
4Ey/nEDdsgaOahhXqehyJHFkS99AhfeDtoeC15Pqu/meGVzEjlDWjwhV6hJdD7uMTkDN4kQwCiKSoBMIlQ47HKuhrtBw9BW/7x6hOn7re0D996lkOsxI1ijIkRwB/kBFHNVIQshfRhEB7BlUYRipKCoEIr/egCo1AtURyEhznaTRQximotcgf2wM+0+ascq/siI7hGkQlqaOBxC+cDkw4wNWmn29PjnCB6NBFFXkSNXAY3oVYtjye6BkQF1hoKnYAiCeYJ4QJEiRWbSfNDvcb2u20rvGpJlcYOnJ+iyYzLQl0ALaNQmqaVW9KF6LApQMFVCo1Cn1rMu5qFY0iH7ZVn/JSOQjAatJd9j0SVKQVhrxBjSYnRoOzXM1yj+EIqqbTguiPIS/HVkAW2BTfEHJKnhSsR9sABpAKXrfLZSASntGapi8zkY2dvNO0euoDyYSF5hfcHYAAx0rlHZ8z5kRmd4CwEDebtxOwmRXH1e+FXIU9ES8CO2QUPxhw6J0h+aO83S6lPvBIFtqj7zkqxMSTJQtX4NCOEkGfaEC33Vxo8A4eUV0sTELgioC1kiZeFw3De0idJHx6kkDPoCDqgqOQ8wlTDwdUB59rXmqoXGqvcFB68d0EVJd049I0kiZPSxPmpskaZF6b1IuGBhD0okVIKrRWDEMOYiPLT5bsORdbDWgfpB1cOnCUFsCHrJkxnUPKyTM5xEOs2COVDay+NwDeltdmsj4XeKZHwwhYWkjLjI+5MWJMDwAHufu0sK5YAUSVOQ3hxiLuZ4zZhVRIJDD0ErLx0ZGvhrz4HrkzOczVpIpRJ1nTPXLupDeKeHtzATKZjpOALIEOxRMkDY6Xf4k6TIOhYzSpnPrEIelzIB6EWO4bbKJnyym7XNtQUNk0FyIDHF7f9B/Be+k/9opUuH2c42psGPTmNfWaNIv8Foypdfd8sDLGi5eqNAdA/CvEfpZ24C+6BCravX0Hy/IBluKRF1i2D7BEjN/7DSrdbwd+9b4GflUDXmIP6AOgwPRSvz4Zi28IBWkhSOgLpb8QXxg4TCtHeMOoNGh8zfutPGMZLPJgv7HTaxEkQI9Pzee4vaMphXuglrH1fiGig/bOc0yTiAdL8JQpN0LIXuLVcrI63aD+URUZHO92q3dN8nFyT57v8wFfRMMa2ae+QlgZDa9PYBb6AaClCYc+mEheumr154Ou7YoGM/rfF3C/MB8mkFrfBjZkWvvBeUScrGvWxApXJA2B0sSCCySo941m2w7lm0ckR7AMGMORhT+8IwPVFDcO5iZcE+y5NDxGO/fzEqTc42qjsBgackvlklBpJBzI9h3XaRJDS9pAhgIESPrUlP1FXtP4SAPzTOWheDmDIc+dpugaGqJ/LwCzsh8ocRiGvRP5mOnKPMqjZBHH6QK5SLLYqKMoDyDfBG+7eR/fYnJ8QR/soLGvcR402pyaLXAreJWbwK9gOCWdNEEGM1Hxc6n7DGDLsZOgHW7twCC6YOj/HAEKieiW+eWUPYWMZupipEWA8WTZz6OB+cCIgaEeffTMHTRiQjhE9eJ6MpjJGjzQRBj0LRBLRgYiF6UJggfqC5+PqiVugN901kQPHZgGaptGpBzx4CMA01KR9kkFC4Bahud/r6XcBI8eeGQTI5KsjW1Zn4P5P5sYfnt0f/vz+H//G+E7aCjv/gk/6nvmAgbNGgAAAYVpQ0NQSUNDIHByb2ZpbGUAAHicfZE9SMNAHMVfU0urVDrYQcQhQ3XRgqiIo1SxCBZKW6FVB5NLv6BJQ9Li4ii4Fhz8WKw6uDjr6uAqCIIfIK4uToouUuL/kkKLGA+O+/Hu3uPuHSA0K0w1eyYAVasZqXhMzOZWRf8rfAghgF6MSczUE+nFDFzH1z08fL2L8iz3c3+OfiVvMsAjEs8x3agRbxDPbNZ0zvvEYVaSFOJz4nGDLkj8yHXZ4TfORZsFnhk2Mql54jCxWOxiuYtZyVCJp4kjiqpRvpB1WOG8xVmt1Fn7nvyFwby2kuY6zWHEsYQEkhAho44yKqghSqtGiokU7cdc/EO2P0kumVxlMHIsoAoVku0H/4Pf3ZqFqUknKRgDfC+W9TEC+HeBVsOyvo8tq3UCeJ+BK63jrzaB2U/SGx0tcgSEtoGL644m7wGXO8Dgky4Zki15aQqFAvB+Rt+UAwZugb41p7f2Pk4fgAx1tXwDHBwCo0XKXnd5d6C7t3/PtPv7AVmJcp2If1r5AAAABmJLR0QA/wD/AP+gvaeTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAB3RJTUUH5wUPCA4yD1EzCgAADttJREFUeNrtnXl4VFWah99bS6qSquxbVZLKgoisAiEimGZTNkVFFmlWx6ZRu8ext2lnGOymB6XRmadbH/FRRG0bZ8Qee1obWqA7ENZukCWLqIAgW7bKTtaq1H7nj9AITiBVqboVTM7vv0rurXvuOe/9zvd99zunJJ4+WA2YEOqXUokuEAAICQCEBABCAgAhAYCQAEBIACAkABASAAgJAIQEAEICACEBgJAAQEgAICQAEBIACAkAhAQAQgIAIQGAkABASAAgJAAQEgAICQCEBABCAgAhAYCQAEBIACAkABASAAgJAIQEAEICACEBgJAAQEgAICQAEBIACAkAhAQAQgIAIQGAkABASAAgJAAQEgAICQCEBABCAgAhAYCQwtKILriJJQMSoFODSur87PWBy9f5f0kA0KNOfcgSxZZK+83VLh88kG1gxgAjIyzRJEZHoNVpMERqiTdo0WlUyDK0Oz20dHhwdLjxuL20dXg4W2vnc6uNjWfbaW51dcLip6R+88ORXpl/Gh7Hj+7NIiFGx4BfFtPs9vV6m/5xSAyzc5O5LSuOrER9UF/n9smcsbZTVt3G0bMtrPmkGXzyDS1F3wdAhgdSdTw9K4sJQ5Ku/Pmtggs8tru619q0IsfAEzOzyBsQp9hlGmxujp1u5P1DNbxTbu9/U0COTsULMzKYPS4NneZaf3fehAwe21vT+YSEUUkaiZfvtbAgPx2NSlL2WgYt9+aa0Kgk3tl8rktL0DcBkGDd2CSemJFNgjGiy0Pio7Rsmmrm0Z3WsDVrhEHD1u8NIyfVENbu+KKy/brTQJ8DYFm2kdVzBjDQbOz22AfHp0OBNSTedHfKiNRQ8IPbMcfrw94n9U3O/pMHWJiX5NfgA8QbtGyamR4GD19m9xNDe2XwvbLM0TpH/wFg1pZyWjo8fh9//1iz4m36r/stDEoz9kp/XGp3U1DTjwDA46OwyH/vPjE6go3T0hRrTn5CBPPvyui17qhrdYFX7kcAAPMLqmh3ev0+fu6dZkxqBRwBGdbOyiQyIrhu9sjg8Mg4vTKeAIOWqgY73ODe+mYU4PKx7XAVCydl+hcuxeh4ZkIqT+2rCWkzzHo1YwYm9MRl4Iy1jU/PN/PmsQbONTrwXM7naCSJlBgtDw+L4/Z0I1kmAxlJUURqu4bsyLmWGzq5fTYPsGpPNbPHpxMZofbr+MUTM3jmb3W0ekKXHVw2OIboyMC6uL7NxfqtZ1n7WXNn7r8Ls3K+0cnhA7VALQC5Bg2LRiUwbWQSQy2xaK964qsaHDe8Xp99G3jB7uWPH/sf4ycYI1iXnxzSNozNjg7McHl8LN3wGb/89HqD37VKbB6ePljHqFdPMuPXJWw5bMXl9eH0+Pii0dk/AUCC/9xrpcPlvy+waFJmQC9SurPj6SmBJXz+e38FOxucyEHc894GJ3M+uMjItUW8/pcL7G9291MAgOM2L386Wh2AFdDy+qTUkDmAaYmRAQQvMttPNIUM/i9sHn50oBZkuf8CgAQrCyppd/ifF5iTH6KQTa3CFBMRkOPX2uENexf1+Yqgi04fO0tr/T4+JSaCN6eaw95OrUpiuClSAKCE5n1UEVBe4P6xIUgMyd1a32uNlQTfmZQOsgAg9PL4KCzxP8Y3xel4Y2qQEPh8VLc6AzplZHYsex65laE6lQAg1Fq8oxJbAFbggbFmEoPJDkpQUWcL+LQpI5I58K+5PJObEJa3lP0GgA6nlx3HrAFZgWcnBhERqCQu1Nh6dGqiMYK1Cwdz/se3s3ps0g1TuQKAAPTzwmpsAeQF5uenE6fpeRd99FkTniAqjnJMRtbMH0Ttv+Wye9EAFuUYQ17BpCb/uz8FjP0BgEaXj+EGFSOyYv063qDTEONwsqOsZ0/yyTY3y0cnEWfQBt
4Vug05DjtnI3DtSeXhIHHfGaThR08Elly/oaaJfWYCBUWqitKqAHO0FEy09zw7K8Ie/VoYyrcEwSwyPTM3mk1V5FCwZyPcHGgn4FWF/swCDotS8PC2dlxYP5vbs2IAemiidmnS3m20X23t07d1VdmZkGchIDG2Mr1VL3GIycN+YVB4aHIeuzcGRWkfAsPbpsvBBejWr7zEz+840jPqev/isb3OR8mxRj81tvFri+E9HYUlULtEjy3C6up0Xt13gzS/b/G5rn5wCMiJUvHu/heJVY1gyKTOowQdIjo7gjSCyg01emRW/OUlju1uxe5YkGJxmZMNjwznw6CBi/Iwc+hYAKonfPWDh5DN5LJloCXrgr9aD49JuWFrVnXY1OFm+8TMqGjoU7QK1JDFhWBLFPxjBAL267wMgXcb/9w9YaFqdx8IJloCLMPxRaqyO14KoHZSBP9U6uPXF42w/Yg0qPPTL4TUb2fnkcIZ1k1X8ZvsAahXvTTczY2waCUGGWv6ouslB5vMleELwXZOT9ay9P5P8q5arKaHic03kbTzVx6IAjYpNU828vfQ27hiU4HfZV7CKjtQQ7XRR0MO8wNW6aPfwdmkjRZ/XkxWrxZwYiVoKfcYvLSGSwXr44HRrl47hN8oCmCNUrJmQyoKJFmIje6ecsbbZwdD/KOWSN7QmfKRRw/P3WRg7OIlEY2itmdsrc99LpRR2sUDkG2EB0iNU/GqyiVeXDiZ/SCJ6be+5Lka9BrXNya4KW2jBcvnYfKKZdw9W47hkJykmglijFnUIStTUKokEtczvTjV/syxAikZi3RQzc8anXXeRZyhU3+oi3qBF42foVN/qImVdsbIri2WYmarniW+lMm20iSidOqisb1ljB9kvlP6/aeDmtAASvDU9nVcWDiJ/SKJic3xdm4tNOy8wZfNZbjeqGGqJ8es8g05NrM1BQYVd0T44a/Pw/skW1u2zomm2k5kS1eP3CnFRWg6cauRim/smtgA++M3MNB66M42EaAWf+DYXWw9W8tjeWiRZRgZGGzUcXDnGb9jqWp2kri0Ob/94ZJ7PT2b5tGxSYgLvnzV/OMO/H224ufIA0mVz9/ZUM3Wr81g+NVuxwb/U7uK3uy6S8mwRj++pgcuDD1Da5qEgoNpBHa9MTA1vZ2kkVh1pIPW5IvafaAjc0bQYb7JEkCSxYUoqNT/P4zvTc0iOUWbgG1qdvF14kcQ1RSzf1bkfgNwFiU9trwioamhefvhr+OTLbZ38zpmAs4rxXUwfvRNLqSRezk9m0eRMkhU09Q1tLrYesbKisLrbzZIAKh1e9h6v83vJuDlez6tTTDwZ4jWF/qrobBOWpOBeMIUVgFi1xOpxyTxydyZJCg58Y7uLDw9ZWb2vmpoA35Uv/agc66hUovxc0Tt7nJkn99dc3xL8fa8/BVTW6Aj+WQzLwKskXpqQwumVufxk9kDFBr/Z7ub1gguMfr6ExwutAQ8+QIvTS2GJ/6uJ0hMir+sLmCNU/M+cLG7RKxPFjMgIbOlZV9ObshZAglcmmph7VxppCm6P0tLh4X8PVLDqQC31Idj7718KqpieZ0bvZz3g3LvSO1cWfy07eEuUmofGmpmVm8rWo9U8XlCFPUR7Eybr1OTdGtjS89NWW5gA8Mq8co+ZuePMpCUoVwTRZHez7VAVj+ypgRAu6z7d7mH70Wrm3eXf/kFp8XqeG5/MD/9Wd83fUy9n8nR6DUsmWpg1xsShUw38otBKUaOzx1NDtEpi94ohxEYFlhM4bLUrD8DLE1N5OD9d0Q2Rmu0edh6z8u2/VCF5ZUUs16/3WJl1h9nvtPOCSRZ+eKj+muzgrcn6a/YCjDNouS/PzLRcEyfKWvjkyyY2lFziaL3Dv9Jvt8yqOxJYfncmt5gCM/+tDi+/L1fYAoyO0fK9ewcQoVAde2uHh4KiahZsq7yy7kqpKOzjFjfbiqqZP94/K2CK1fHSuCR+cqj+Spss8bouj9WqJEblxDEqJ44lU7M5V2vnTEUr1jo7jTY3JfVO/tzooqPDQ060lsXZUQwyGbhrRDIDU6J6dD9flDd3bjItKQhAaaubz883kXtrQmgH3u5me3ENi7dXhm9nTwleLKxi1hiT39nBhVMy+fGh+iufEyK7P
40+rkhhsNjDYbLgmcHB7ZdxeGb1GCskLoR2l9V1OOSGPAjbss4b0id98oILh64pZ/FFF2Ld1/bjVw+7jdX4fb4rVsf5bKVc+G3SanrJHhFrCEKEKyeCfrm5nTdGl8ISBb51u4Yy1PajvaHN4eHdfOWOfL2bptgoqXL20q7cEK7eXB5QdnDsho7NOXwZDGKqUuvXHfTLrt124rsMZ+jyASmJnSW2PTrW5vLy7r5xxLxSzbEclpx3eXu/AE3Yvh0/W+58XiNez/m4TyJDRw/k6lHpnbzmvnW4NbyLoqQN1NNn9r5yzOb28v7+cEWuLWLajkpP23h/4q7VsSxn2AKzQ9DGpIEOygjUM/mj/yQa+u7PqhotFFMoEyhQWd59Na3N42XKwEuNzRSzcXskFx8018H9XdYeXjz/v3hfwybCrtIYZG0+CWiJa33u78H142MrkTWe6DZMUSwW/drAW73Wctnanlx1HrcSsPcbcreXgujkH/mqt2FaO4wbJpk8vNvPt9aVMf+88ZXYP+GQ27y+nye4OazvrWpz8bPMp5n1w0U83R6mCEJ/M/uW3MXHoV2XPdpeXPcfr+IctZVzq7Z9r6YG2zc9m1te2j6m61MGmwnJ+VtR43fPeuNvM5JHJDDAZFVvq39Lh4cCndTz4x7KAoiVFK4IezTbw9vdH4nB7+XNJLSt3VPClw8s3VbmxWg6vHINWraLD5eW9v1byzzuraPGjv9USzDRF8vi4FIbmxGKK0xOl0wS1LaHN6aW6qYODJxp4dm8N53sQLSlbEibDm9PTeO3jOkrbPGHZ8kRRyfDhvGxiozQ8vbWMklZ3j+8pQ6fmnowoxmUbSY/TkWEykpUYiSFC9bXvlAAZnwyNNjdnre1U1ds4Wm5jx7k2ztq9QfVr//nVsJDlBiS/ikt6MmUiS51emSR99f3S5f/56Ex/q6SQXlv8cGTAVkBWxpJdMxfIX3nv8tXueugvLH46tp9LACAAEBIACAkAhAQAQgIAIQGAkABASAAgJAAQEgAICQCEBABCAgChvqr/AyqjD2mQ/zEJAAAAAElFTkSuQmCC alt="fp-ts Logo" width=128 height=128 loading=lazy /><span>fp-ts</span></a><a class=trustUsSingleLogo_v4it href=https://ramdajs.com/ target=_blank rel=noopener><img src=/assets/images/ramda-128-51f9a36b10330db41168bc082713ce43.png alt="Ramda Logo" width=128 height=128 loading=lazy /><span>Ramda</span></a></div></div></section><section class=whiteBanner_Rz0Z><div class="container subsectionContainer_htnN"><h2>They spread their loveâ¦</h2><p>Kind messages spreading love around fast-check<div class=allQuotes_NEFr><div class=quoteBlock_F2FP><div class=quoteBlockMessage_MBLC><a href=https://twitter.com/TomerAberbach/status/1350560547058675713 target=_blank rel=noopener>fast-check is too good!</a></div><div class=quoteBlockAuthor_kJ2h><a class=avatar_fBEh href=https://twitter.com/TomerAberbach target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_TomerAberbach.jpg alt="Tomer Aberbach" width=64 height=64 loading=lazy /><div class=quoteBlockAuthorDetails_NzBq><div>Tomer Aberbach</div><div>Working on <b>@Google Docs</b></div></div></a></div></div><div class=quoteBlock_F2FP><div class=quoteBlockMessage_MBLC><a href="https://twitter.com/ssalbdivad/status/1652672718381146114?s=20" target=_blank rel=noopener>Can attest, it is awesome!ð¥</a></div><div class=quoteBlockAuthor_kJ2h><a class=avatar_fBEh href=https://twitter.com/ssalbdivad target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_ssalbdivad.jpg alt="David Blass" width=64 height=64 loading=lazy /><div class=quoteBlockAuthorDetails_NzBq><div>David Blass</div><div>Full-time open source dev and author of <b>@arktypeio</b>, TypeScript's 1:1 validator optimized from editor to runtimeâµ</div></div></a></div></div><div class=quoteBlock_F2FP><div class=quoteBlockMessage_MBLC><a href=https://twitter.com/abrgrBuilds/status/1587817599001411592 target=_blank rel=noopener>Wrote one property based test with <b>@ndubien</b>'s fast check and immediately found & fixed 3 bugs. How is generative testing not mainstream yet?</a></div><div class=quoteBlockAuthor_kJ2h><a class=avatar_fBEh href=https://twitter.com/abrgrBuilds target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_abrgr.jpg alt="Adam Berger" width=64 height=64 loading=lazy /><div class=quoteBlockAuthorDetails_NzBq><div>Adam Berger</div><div>â¥ï¸ Helping product teams build amazing products with Team Pando: your collaborative space for product requierments</div></div></a></div></div><div class=quoteBlock_F2FP><div class=quoteBlockMessage_MBLC><a href=https://twitter.com/emilianbold/status/1623036880555020300 target=_blank rel=noopener><b>@ndubien</b>'s fast-check is unit testing on steroids.</a></div><div class=quoteBlockAuthor_kJ2h><a class=avatar_fBEh href=https://twitter.com/emilianbold target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_emilianbold.jpg alt="Emilian Bold" width=64 height=64 loading=lazy /><div class=quoteBlockAuthorDetails_NzBq><div>Emilian Bold</div><div>Software engineer</div></div></a></div></div><div class=quoteBlock_F2FP><div class=quoteBlockMessage_MBLC><a href="https://twitter.com/andhaveaniceday/status/1643468822752677888?s=20" target=_blank rel=noopener>So, TypeScript has had a small epidemic of crashes (both my fault ð
), both were very annoying to find and minimize.<br/><br/>I added a fast-check unittest to fuzz the parser and in seconds
4it found the same bug.</a></div><div class=quoteBlockAuthor_kJ2h><a class=avatar_fBEh href=https://twitter.com/andhaveaniceday target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_jakebailey.jpg alt="Jake Bailey" width=64 height=64 loading=lazy /><div class=quoteBlockAuthorDetails_NzBq><div>Jake Bailey</div><div>Senior Software Engineer at Microsoft working on <b>@typescript</b></div></div></a></div></div><div class=quoteBlock_F2FP><div class=quoteBlockMessage_MBLC><a href="https://twitter.com/AndaristRake/status/1652267691472822273?s=20" target=_blank rel=noopener>Looks awesome, i need to finally try this out in practice</a></div><div class=quoteBlockAuthor_kJ2h><a class=avatar_fBEh href=https://twitter.com/AndaristRake target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_Andarist.jpg alt="Mateusz BurzyÅski" width=64 height=64 loading=lazy /><div class=quoteBlockAuthorDetails_NzBq><div>Mateusz BurzyÅski</div><div>programmer but also a little bit of code-poet wannabe, maintaining XState, Emotion, redux-saga & more, OSS enthusiast, working at <b>@statelyai</b></div></div></a></div></div></div></div></section><section class=blueBanner_NrVP><div class="container subsectionContainer_htnN"><h2>They contribute to the projectâ¦</h2><p>People involved at some point in the development of fast-check<div class=avatarSection_i0hO><a class=avatar_ONgv href=https://github.com/dubzzz title="Nicolas DUBIEN (dubzzz)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_dubzzz.jpg alt="Avatar for Nicolas DUBIEN (dubzzz)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/hath995 title="Aaron Elligsen (hath995)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_hath995.jpg alt="Avatar for Aaron Elligsen (hath995)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/willheslam title="Will Heslam (willheslam)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_willheslam.jpg alt="Avatar for Will Heslam (willheslam)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/kazchimo title="kazchimo (kazchimo)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_kazchimo.jpg alt="Avatar for kazchimo (kazchimo)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/brandon-leapyear title="Brandon Chinn (brandon-leapyear)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_brandon-leapyear.jpg alt="Avatar for Brandon Chinn (brandon-leapyear)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=http://safareli.github.io/resume/ title="Irakli Safareli (safareli)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_safareli.jpg alt="Avatar for Irakli Safareli (safareli)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/TheSpyder title="Andrew Herron (TheSpyder)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_TheSpyder.jpg alt="Avatar for Andrew Herron (TheSpyder)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/EricCrosson title="Eric Crosson (EricCrosson)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_EricCrosson.jpg alt="Avatar for Eric Crosson (EricCrosson)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/burrscurr title="burrscurr (burrscurr)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_burrscurr.jpg alt="Avatar for burrscurr (burrscurr)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://www.dijonkitchen.org/ title="JC (Jonathan Chen) (dijonkitchen)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_dijonkitchen.jpg alt="Avatar for JC (Jonathan Chen) (dijonkitchen)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=http://fixate.it/ title="Larry Botha (larrybotha)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_larrybotha.jpg alt="Avatar for Larry Botha (larrybotha)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://epa.ms/RomanGusev title="Roman Gusev (102)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_102.jpg alt="Avatar for Roman Gusev (102)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://timwis.com/ title="Tim Wisniewski (timwis)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_timwis.jpg alt="Avatar for Tim Wisniewski (timwis)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://world.hey.com/brais title="Brais Piñeiro (brapifra)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_brapifra.jpg alt="Avatar for Brais Piñeiro (brapifra)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/brds title="Renaud-Pierre Bordes (brds)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_brds.jpg alt="Avatar for Renaud-Pierre Bordes (brds)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/fwip title="Jemma Nelson (fwip)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_fwip.jpg alt="Avatar for Jemma Nelson (fwip)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=http://fullof.bs/ title="John Haugeland (StoneCypher)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_StoneCypher.jpg alt="Avatar for John Haugeland (StoneCypher)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/treydavis title="Trey Davis (treydavis)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_treydavis.jpg alt="Avatar for Trey Davis (treydavis)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://leonzalion.com/ title="Leon Si (leonzalion)" target=_blank rel="noopener noreferrer">
4<img src=/img/_/avatar_64_leonzalion.jpg alt="Avatar for Leon Si (leonzalion)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=http://spion.github.io/ title="Gorgi Kosev (spion)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_spion.jpg alt="Avatar for Gorgi Kosev (spion)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/mayconsacht title="mayconsacht (mayconsacht)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_mayconsacht.jpg alt="Avatar for mayconsacht (mayconsacht)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/paldepind title="Simon Friis Vindum (paldepind)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_paldepind.jpg alt="Avatar for Simon Friis Vindum (paldepind)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://twitter.com/gibson042 title="Richard Gibson (gibson042)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_gibson042.jpg alt="Avatar for Richard Gibson (gibson042)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://alanharper.com.au/ title="Alan Harper (aussiegeek)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_aussiegeek.jpg alt="Avatar for Alan Harper (aussiegeek)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/Osman-Sodefa title="Makien Osman (Osman-Sodefa)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_Osman-Sodefa.jpg alt="Avatar for Makien Osman (Osman-Sodefa)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/sommd title="David Sommerich (sommd)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_sommd.jpg alt="Avatar for David Sommerich (sommd)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/diegopedro94 title="Diego Pedro (diegopedro94)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_diegopedro94.jpg alt="Avatar for Diego Pedro (diegopedro94)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/BoruiGu title="Borui Gu (BoruiGu)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_BoruiGu.jpg alt="Avatar for Borui Gu (BoruiGu)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/eventualbuddha title="Brian Donovan (eventualbuddha)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_eventualbuddha.jpg alt="Avatar for Brian Donovan (eventualbuddha)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/volrk title="volrk (volrk)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_volrk.jpg alt="Avatar for volrk (volrk)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/tinydylan title="tinydylan (tinydylan)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_tinydylan.jpg alt="Avatar for tinydylan (tinydylan)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/jasikpark title="Caleb Jasik (jasikpark)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_jasikpark.jpg alt="Avatar for Caleb Jasik (jasikpark)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/rulai-hu title="Rulai Hu (rulai-hu)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_rulai-hu.jpg alt="Avatar for Rulai Hu (rulai-hu)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/afonsojramos title="Afonso Jorge Ramos (afonsojramos)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_afonsojramos.jpg alt="Avatar for Afonso Jorge Ramos (afonsojramos)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://tjenkinson.me/ title="Tom Jenkinson (tjenkinson)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_tjenkinson.jpg alt="Avatar for Tom Jenkinson (tjenkinson)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/phormio title="phormio (phormio)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_phormio.jpg alt="Avatar for phormio (phormio)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=http://buildo.io/ title="Giovanni Gonzaga (giogonzo)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_giogonzo.jpg alt="Avatar for Giovanni Gonzaga (giogonzo)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://caurea.org/ title="Tomas Carnecky (wereHamster)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_wereHamster.jpg alt="Avatar for Tomas Carnecky (wereHamster)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/Djaler title="Kirill Romanov (Djaler)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_Djaler.jpg alt="Avatar for Kirill Romanov (Djaler)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://giovannyg.github.io/ title="Giovanny González (giovannyg)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_giovannyg.jpg alt="Avatar for Giovanny González (giovannyg)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/markkulube title="Mark Kulube (markkulube)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_markkulube.jpg alt="Avatar for Mark Kulube (markkulube)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=http://www.undiscoveredfeatures.com/ title="Peter Hamilton (hamiltop)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_hamiltop.jpg alt="Avatar for Peter Hamilton (hamiltop)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/ChineduOzodi title="Chinedu Ozodi (ChineduOzodi)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_ChineduOzodi.jpg alt="Avatar for Chinedu Ozodi (ChineduOzodi)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/gunar title="Gunar Gessner (gunar)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_gunar.jpg alt="Avatar for Gunar Gessner (gunar)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/CSBatchelor title="Christian Batchelor (CSBatchelor)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_CSBatchelor.jpg alt="Avatar for Christian Batchelor (CSBatchelor)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://tomeraberba.ch/ title="Tomer Aberbach (TomerAberbach)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_TomerAberbach.jpg alt="Avatar for Tomer Aberbach (TomerAberbach)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/0xflotus title="0xflotus (0xflotus)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_0xflotus.jpg alt="Avatar for 0xflotus (0xflotus)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/CodeLenny title="Ryan Leonard (CodeLenny)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_CodeLenny.jpg alt="Avatar for Ryan Leonard (CodeLenny)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://blog.bitjson.com/ title="Jason Dreyzehner (bitjson)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_bitjson.jpg alt="Avatar for Jason Dreyzehner (bitjson)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://matinzd.dev/ title="Matin Zadeh Dolatabad (matinzd)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_matinzd.jpg alt="Avatar for Matin Zadeh Dolatabad (matinzd)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=http://goo.gl/IlWG8U title="Juan Julián Merelo Guervós (JJ)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_JJ.jpg alt="Avatar for Juan Julián Merelo Guervós (JJ)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/SimenB title="Simen Bekkhus (SimenB)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_SimenB.jpg alt="Avatar for Simen Bekkhus (SimenB)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/tskj title="Tarjei Skjærset (tskj)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_tskj.jpg alt="Avatar for Tarjei Skjærset (tskj)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=http://denisgorbachev.com/ title="Denis Gorbachev (DenisGorbachev)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_DenisGorbachev.jpg alt="Avatar for Denis Gorbachev (DenisGorbachev)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=http://senocular.github.io/ title="Trevor McCauley (senocular)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_senocular.jpg alt="Avatar for Trevor McCauley (senocular)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=http://grantkiely.com/ title="Grant Kiely (gkiely)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_gkiely.jpg alt="Avatar for Grant Kiely (gkiely)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/vecerek title="Attila VeÄerek (vecerek)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_vecerek.jpg alt="Avatar for Attila VeÄerek (vecerek)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=http://www.zachbjornson.com/ title="Zach Bjornson (zbjornson)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_zbjornson.jpg alt="Avatar for Zach Bjornson (zbjornson)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/bennettp123 title="Bennett Perkins (bennettp123)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_bennettp123.jpg alt="Avatar for Bennett Perkins (bennettp123)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/nielk title="Alexandre Oger (nielk)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_nielk.jpg alt="Avatar for Alexandre Oger (nielk)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/ej-shafran title="ej shafran (ej-shafran)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_ej-shafran.jpg alt="Avatar for ej shafran (ej-shafran)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/gruhn title="Niklas Gruhn (gruhn)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_gruhn.jpg alt="Avatar for Niklas Gruhn (gruhn)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://patrickroza.com/ title="Patrick Roza (patroza)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_patroza.jpg alt="Avatar for Patrick Roza (patroza)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/cindywu title="Cindy Wu (cindywu)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_cindywu.jpg alt="Avatar for Cindy Wu (cindywu)" width=64 height=64 loading=lazy /></a>
4<a class=avatar_ONgv href=https://github.com/nmay231 title="Noah (nmay231)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_nmay231.jpg alt="Avatar for Noah (nmay231)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/jamesbvaughan title="James Vaughan (jamesbvaughan)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_jamesbvaughan.jpg alt="Avatar for James Vaughan (jamesbvaughan)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/AlexErrant title="Alex Errant (AlexErrant)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_AlexErrant.jpg alt="Avatar for Alex Errant (AlexErrant)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://ahrjarrett.com/ title="andrew jarrett (ahrjarrett)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_ahrjarrett.jpg alt="Avatar for andrew jarrett (ahrjarrett)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/matthyk title="Matthias Keckl (matthyk)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_matthyk.jpg alt="Avatar for Matthias Keckl (matthyk)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/dmurvihill title="Dolan Murvihill (dmurvihill)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_dmurvihill.jpg alt="Avatar for Dolan Murvihill (dmurvihill)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/emilianbold title="Emi (emilianbold)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_emilianbold.jpg alt="Avatar for Emi (emilianbold)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://www.russbiggs.com/ title="Russ Biggs (russbiggs)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_russbiggs.jpg alt="Avatar for Russ Biggs (russbiggs)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/adamni21 title="adamni21 (adamni21)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_adamni21.jpg alt="Avatar for adamni21 (adamni21)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/josephjunker title="Joseph Junker (josephjunker)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_josephjunker.jpg alt="Avatar for Joseph Junker (josephjunker)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/rushelex title="Aleksey Shelementev (rushelex)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_rushelex.jpg alt="Avatar for Aleksey Shelementev (rushelex)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/rugk title="rugk (rugk)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_rugk.jpg alt="Avatar for rugk (rugk)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://github.com/makeeno title="Makien Osman (makeeno)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_makeeno.jpg alt="Avatar for Makien Osman (makeeno)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://jneidel.com/ title="Jonathan Neidel (jneidel)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_jneidel.jpg alt="Avatar for Jonathan Neidel (jneidel)" width=64 height=64 loading=lazy /></a><a class=avatar_ONgv href=https://jkomyno.dev/ title="Alberto Schiabel (jkomyno)" target=_blank rel="noopener noreferrer"><img src=/img/_/avatar_64_jkomyno.jpg alt="Avatar for Alberto Schiabel (jkomyno)" width=64 height=64 loading=lazy /></a></div></div></section><section class=whiteBanner_Rz0Z><div class="container subsectionContainer_htnN"><h2>They sponsor usâ¦</h2><p>They financially contribute to the fast-check</p><object class=allSponsorsWrapper_faDT data=/img/sponsors.svg type=image/svg+xml title="Our sponsors"></object><p>You can also become one of them by contributing via<!-- --> <a href=https://github.com/sponsors/dubzzz target=_blank rel=noopener>GitHub Sponsors</a> <!-- -->or<!-- -->
4 <a href=https://opencollective.com/fast-check/contribute target=_blank rel=noopener>OpenCollective</a>.</div></section></main></div><footer class="theme-layout-footer footer footer--dark"><div class="container container-fluid"><div class="row footer__links"><div class="theme-layout-footer-column col footer__col"><div class=footer__title>Guides</div><ul class="footer__items clean-list"><li class=footer__item><a class=footer__link-item href=/docs/introduction/>Documentation</a><li class=footer__item><a class=footer__link-item href=/docs/tutorials/quick-start/basic-setup/>Quick Start</a><li class=footer__item><a class=footer__link-item href=/docs/tutorials/>All Tutorials</a></ul></div><div class="theme-layout-footer-column col footer__col"><div class=footer__title>Community</div><ul class="footer__items clean-list"><li class=footer__item><a href=https://bsky.app/profile/fast-check.dev target=_blank rel="noopener noreferrer" class=footer__link-item>Bluesky ð¦<svg width=13.5 height=13.5 aria-label="(opens in new tab)" class=iconExternalLink_sEzk><use href=#theme-svg-external-link /></svg></a><li class=footer__item><a href=https://github.com/dubzzz/fast-check/blob/main/CONTRIBUTING.md target=_blank rel="noopener noreferrer" class=footer__link-item>Become a contributor<svg width=13.5 height=13.5 aria-label="(opens in new tab)" class=iconExternalLink_sEzk><use href=#theme-svg-external-link /></svg></a><li class=footer__item><a href=https://github.com/sponsors/dubzzz target=_blank rel="noopener noreferrer" class=footer__link-item>Sponsor us<svg width=13.5 height=13.5 aria-label="(opens in new tab)" class=iconExternalLink_sEzk><use href=#theme-svg-external-link /></svg></a></ul></div><div class="theme-layout-footer-column col footer__col"><div class=footer__title>More</div><ul class="footer__items clean-list"><li class=footer__item><a class=footer__link-item href=/blog/>Blog</a><li class=footer__item><a class=footer__link-item href=/docs/api/>API Reference</a><li class=footer__item><a href=https://github.com/dubzzz/fast-check target=_blank rel="noopener noreferrer" class=footer__link-item>GitHub<svg width=13.5 height=13.5 aria-label="(opens in new tab)" class=iconExternalLink_sEzk><use href=#theme-svg-external-link /></svg></a><li class=footer__item><a href=https://tangled.org/fast-check.dev/fast-check target=_blank rel="noopener noreferrer" class=footer__link-item>Tangled<svg width=13.5 height=13.5 aria-label="(opens in new tab)" class=iconExternalLink_sEzk><use href=#theme-svg-external-link /></svg></a><li class=footer__item><a href=https://refer.hellotrusty.io/kz48qf0nh7 target=_blank rel="noopener noreferrer" class=footer__link-item>Work with me @Pigment<svg width=13.5 height=13.5 aria-label="(opens in new tab)" class=iconExternalLink_sEzk><use href=#theme-svg-external-link /></svg></a><li class=footer__item><a href=https://www.netlify.com target=_blank rel="noreferrer noopener" aria-label="Deploys via Netlify"><img src=https://www.netlify.com/v3/img/components/netlify-color-accent.svg alt="Deploys by Netlify" width=114 height=51 loading=lazy /></a></ul></div></div><div class="footer__bottom text--center"><div class=footer__copyright>Copyright © 2026 Nicolas Dubien. Built with Docusaurus.</div></div></div></footer></div></body>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.