Update runt tests
avanhatt opened this issue · comments
What would an MVP look like? Which tests should become runt tests?
We currently have the cargo tests which can become runt tests. We can also test splitting, merging, verification, code generation etc.