search

nicolasdilley / Gomela

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

Bound that are anonymous lists []string{"a","b","c") not supported at the moment #4

Open nicolasdilley opened 4 years ago

nicolasdilley commented 4 years ago

Every unknown type of bound are translated as a global var with a value equal to the default bound given by the user