func TestNodeInterface(t *testing.T) { … } // removeModulePrefix removes the "x.io/" module name prefix throughout s. // (It is added by testProg.) func removeModulePrefix(s string) string { … } func TestVtaGraph(t *testing.T) { … } // vtaGraphStr stringifies vtaGraph into a list of strings // where each string represents an edge set of the format // node -> succ_1, ..., succ_n. succ_1, ..., succ_n are // sorted in alphabetical order. func vtaGraphStr(g *vtaGraph) []string { … } // setdiff returns the set difference of `X-Y` or {s | s ∈ X, s ∉ Y }. func setdiff(X, Y []string) []string { … } func TestVTAGraphConstruction(t *testing.T) { … }