<h1 id="ref" data-line="0" class="code-line">
<a class="header-anchor-link" href="#ref" aria-hidden="true"></a> Ref</h1>
<ul data-line="1" class="code-line">
<li data-line="1" class="code-line"><a href="https://www.baeldung.com/kotlin/property-based-testing" target="_blank" rel="nofollow noopener noreferrer">https://www.baeldung.com/kotlin/property-based-testing</a></li>
<li data-line="2" class="code-line"><a href="https://johanneslink.net/property-based-testing-in-kotlin/#a-short-intro-to-pbt" target="_blank" rel="nofollow noopener noreferrer">https://johanneslink.net/property-based-testing-in-kotlin/#a-short-intro-to-pbt</a></li>
<li data-line="3" class="code-line"><a href="https://zenn.dev/msksgm/articles/20221007-kotlin-property-based-testing-with-jqwik" target="_blank">https://zenn.dev/msksgm/articles/20221007-kotlin-property-based-testing-with-jqwik</a></li>
<li data-line="4" class="code-line"><a href="https://jqwik.net/" target="_blank" rel="nofollow noopener noreferrer">https://jqwik.net/</a></li>
</ul>


<h1 id="downsides%3A" data-line="0" class="code-line">
<a class="header-anchor-link" href="#downsides%3A" aria-hidden="true"></a> downsides:</h1>
<ul data-line="1" class="code-line">
<li data-line="1" class="code-line">We cannot re-run the test with the same inputs, to see if an issue was fixed</li>
<li data-line="2" class="code-line">We cannot make sure we include special values, such as interval limits</li>
<li data-line="3" class="code-line">In case of failures, we don’t have a clear description of the cause of the issue</li>
<li data-line="4" class="code-line">Creating argument sources for a wide variety of data types can be a tedious task</li>
</ul>
