search

nicolasdilley / Gomela

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

Anonymous Goroutine not translated properly #8

Open nicolasdilley opened 3 years ago

nicolasdilley commented 3 years ago

https://github.com/sourcegraph/srclib/blob/master/cli/lint_cmd.go#L60

The goroutine is just ignored for some reason