nicolasdilley / Gomela

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

Add support for anonym function called in concurrent function #11

Open nicolasdilley opened 3 years ago

nicolasdilley commented 3 years ago

func withWG(wg *sync.WaitGroup, fn func()) { wg.Add(1) go func() { defer wg.Done() fn() }() }

Here wg is not found by AnalyseFuncCall