diff options
| author |  qadeer <unknown> | 2010-04-23 21:14:44 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-04-23 21:14:44 +0000 |
| commit | 185e797c7c662537fb40a51cc99d2266b0324c70 (patch) | |
| tree | a51297ccb6aa74bfe94e26c6eb27c50c60e3a82a /Source/VCGeneration/ConditionGeneration.ssc | |
| parent | b03d41d7cd6a0a838ef2022387b7a997c5203cbd (diff) | |
1. couple of bug fixes in interprocedural error trace generation
2. added facility for giving weights to the generated quantifiers for lazy inlining; however, left the weights at default 1.
Diffstat (limited to 'Source/VCGeneration/ConditionGeneration.ssc')
0 files changed, 0 insertions, 0 deletions