search

nicolasdilley / Gomela

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

Streamlined usage of `flag` library API. #18

Closed VladSaiocUber closed 1 year ago