[Civl] Add support for skip async calls - Githubissues

boogie-org / boogie

Boogie

http://research.microsoft.com/en-us/projects/boogie/

MIT License

514 stars 112 forks source link

[Civl] Add support for skip async calls #923

Closed shazqadeer closed 3 months ago