devtools/v23: fixing the failing vanadium-go-cover test
devtools/v23: fixing the failing vanadium-go-cover test

Change-Id: Ibaac750798b616bbb707911feabe34ae50b0442b

vanadium/go.devtools,vanadium/go.devtools,vanadium/go.devtools