Vgo – verifiable govgo.readthedocs.org 5 pointscarloscm12 years ago2 commentsSaveHideCopy link On HNComments−justinsb12yInteresting, but it looks like it doesn't detect threading errors (concurrent access)?−gatesphere12yThey should name something in their toolchain 'Mortensen'.
Comments
Interesting, but it looks like it doesn't detect threading errors (concurrent access)?
They should name something in their toolchain 'Mortensen'.