search

boogie-org / symbooglix

Symbolic Execution Engine for Boogie
MIT License
28 stars 4 forks source link

GlobalDeadDeclEliminationPass should remove unused procedures/implementations #30

Open delcypher opened 7 years ago

delcypher commented 7 years ago

Currently we don't try to remove procedures and/or implementations. There's no reason we can't do this.