search

nicolasdilley / Gomela

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

Binary expressions as communication parameters are not reported correctly #7

Open nicolasdilley opened 3 years ago

nicolasdilley commented 3 years ago

i.e

ch := make(chan int,a+b) is reported as two comm par but the type of a and b are not reported

nicolasdilley commented 3 years ago

Fixed