search

nicolasdilley / Gomela

Tool developped for "Bounded verification of message passing concurrency in Go programs."
39 stars 7 forks source link

Waitgroup as an automatic field struct (how to get the name of the field?) #3

Closed nicolasdilley closed 4 years ago

nicolasdilley commented 4 years ago

if s := AstructWithAWg{}

what should we name the wg when we only know the name of the parent struct