diff options
| author |  Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2012-12-21 19:41:59 +0530 |
|---|---|---|
| committer | Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2012-12-21 19:41:59 +0530 |
| commit | 103ea754ef4b9925f8a982fcdd2ff156152dd241 (patch) | |
| tree | 0101b01ecaf0ed34ddc896f5b58c53770ef2fe24 /Source/VCGeneration/Check.cs | |
| parent | 5820d0619e8cfeb38e6fae4d6f1fd6df5537b425 (diff) | |
AbstractHoudini optimization: replace summary predicate with Boolean variables
(just like stratified inlining)
Diffstat (limited to 'Source/VCGeneration/Check.cs')
0 files changed, 0 insertions, 0 deletions