<p><span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@lenary" class="u-url mention">@<span>lenary</span></a></span> yeah, this is true! I have no idea what we'll end up with in the end</p><p>current plan: start with very basic unit tests to exercise all rules at least, investigate quickcheck style input generation, then do an SMT2 backend and see what we can do with that</p><p>I've fed this compiler large real-world netlists and we had like 2 bugs in this ruleset since writing it which is very encouraging but also not very motivating to build complex validation infra :D</p>
