Fixed AST walk nil panic on missing `if` statement nil initialization.

nicolasdilley / Gomela

Tool developped for "Bounded verification of message passing concurrency in Go programs."

39 stars 7 forks source link

Closed VladSaiocUber closed 1 year ago