Fix reveal analysis when focus blocks are used - Githubissues

boogie-org / boogie

Boogie

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

MIT License

514 stars 112 forks source link

Fix reveal analysis when focus blocks are used #908

Closed keyboardDrummer closed 4 months ago

keyboardDrummer commented 4 months ago

Changes

Fix reveal analysis when focus blocks are used
Add test and fix bug in reveal analysis, when non-wildcard hide statements are used.