search

nicolasdilley / Gomela

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

Refactored arrows to semicolons where needed. #23

Open VladSaioc opened 1 year ago

VladSaioc commented 1 year ago

Refactored Precondition Generator front-end to accept semicolon separators. Refactored monitors to use multi-line literal strings, for readability.