diff options
| author |  Unknown <qadeer@Shakespeare.redmond.corp.microsoft.com> | 2011-04-14 22:34:06 -0700 |
|---|---|---|
| committer | Unknown <qadeer@Shakespeare.redmond.corp.microsoft.com> | 2011-04-14 22:34:06 -0700 |
| commit | 6e683025dbc6b7b6f74ed9415178f6f4abff2a24 (patch) | |
| tree | f4eb2a9add18fe78600f6d3a32f3d20c6067ebb4 /Test/test2/SelectiveChecking.bpl | |
| parent | ddd16cd53910f044fd4700463ff977091b983897 (diff) | |
added reachability information to the VC and used that to support arbitrary asserts in lazy inlining
Diffstat (limited to 'Test/test2/SelectiveChecking.bpl')
0 files changed, 0 insertions, 0 deletions