<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> it's obvious that just as much care and attention has been paid to testing as it has been to the language itself, and really encourages tests to be written during development (and not as an afterthought). Being able to sim the code to any arbitrary clock point and assert that its internal state should be <this> at that time given the previous inputs is absolutely how it should be.</p>