3 ms·TLA is about testing the design, not the implementation. Read the TLA homepage, I promise it's fun.by virgilp 8y agoTLA is about testing the design, not the implementation. Read the TLA homepage, I promise it's fun.