search

nicolasdilley / Gomela

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

What to do with receive as arg when the arg is a Comm param #2

Closed nicolasdilley closed 4 years ago

nicolasdilley commented 4 years ago

At the moment the user is asked to provide a value for it.

nicolasdilley commented 4 years ago

REceive as arg is not common