<p><span class="h-card" translate="no"><a href="https://floss.social/@gwidion" class="u-url mention">@<span>gwidion</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> I approach them as writing a whole lot of inline unit tests with a dedicated syntax and much lower runtime overhead and reduced visual noise compared to writing out the equivalent assertions.</p><p>So you *are* writing them for the tooling, but that's the same situation as any style of automated testing (if the test runner can't run the test, why have the test?)</p>
