issues
search
nicolasdilley
/
Gomela
Tool developped for "Bounded verification of message passing concurrency in Go programs."
39
stars
7
forks
source link
Removed redundant ParseError structure.
#20
Closed
VladSaiocUber
closed
1 year ago