diff options
| author |  akashlal <unknown> | 2010-07-19 10:47:42 +0000 |
|---|---|---|
| committer | akashlal <unknown> | 2010-07-19 10:47:42 +0000 |
| commit | 6ff0ab85e8a9a5516cc175544b0760a9780c01b2 (patch) | |
| tree | b89b33416f4922e0ef387b4e1c14bd9c35971c57 /Chalice/examples | |
| parent | 9295a538d5628a7384495c97260b0c885bab01f0 (diff) | |
Boogie: Added interprocedural live variable analysis. Flag to turn it on: "/liveVariableAnalysis:2"
Diffstat (limited to 'Chalice/examples')
0 files changed, 0 insertions, 0 deletions