diff options
| author |  qadeer <unknown> | 2010-02-09 22:04:43 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-02-09 22:04:43 +0000 |
| commit | 0001ad60f8a65026680d041fa23809f5acb357b0 (patch) | |
| tree | 2ed0a902bcd3160b869b883d7fb86e2e35bb32d6 /Test/smoke | |
| parent | de43467788a59c64e27a6bd339b973398bf165a8 (diff) | |
1. Fixed bug in StandardVisitor.ssc
2. Hoisted the call to inlining into BoogieDriver.ssc
3. Implemented a simple dead variable elimination
4. Perform inlining only for those procedures whose verification is not skipped
Diffstat (limited to 'Test/smoke')
0 files changed, 0 insertions, 0 deletions