snark
snark copied to clipboard
Better infrastructure for testing
Currently testing requires boilerplate, we should brainstorm some ideas to reduce overhead and enable testing of some more things (such as constraint count).