4 ms·Unit tests are mostly worthless for machines like this, you need formal proofs.by zeth___ 8y agoUnit tests are mostly worthless for machines like this, you need formal proofs.