Improper use of Boogie Graph class - Githubissues

boogie-org / symbooglix

Symbolic Execution Engine for Boogie

MIT License

28 stars 4 forks source link

Improper use of Boogie Graph class #40

Open shazqadeer opened 4 years ago

shazqadeer commented 4 years ago

https://github.com/boogie-org/boogie/issues/92

The issue above seems to be really an issue in Symbooglix.