Tool developped for "Bounded verification of message passing concurrency in Go programs."
39
stars
7
forks
source link
DeferStmt doesnt behave as expected. At the moment they are always printed at the end of the blockstmt. #5
Open
nicolasdilley opened 3 years ago