Update runt tests
avanhatt opened this issue · comments
Alexa VanHattum commented
Rachit Nigam commented
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.