5 ms·Vgo – verifiable go5 points by carloscm 13y agojustinsb 13y agoInteresting, but it looks like it doesn't detect threading errors (concurrent access)?gatesphere 13y agoThey should name something in their toolchain 'Mortensen'.