Open dolmen opened 12 months ago
Hey!
The standalone NilAway command is using the singlechecker
driver provided by the analysis framework, and these standard flags are set by the library:
Reading from the comments there, this looks like that it's there to satisfy go vet
-V protocol.
But I agree the doc should be clearer, we should probably raise an issue for https://github.com/golang/tools
(I have read that they are revamping the driver there: https://github.com/golang/go/issues/61324, which we would use in the future, then we should be able to control the flags ourselves)
-V
doesn't work.nilaway
expects-V=full
but this is not what is documented in online help.