diff options
| author |  Unknown <mbarnett@MIKE-SONY.redmond.corp.microsoft.com> | 2012-04-16 08:45:50 -0700 |
|---|---|---|
| committer | Unknown <mbarnett@MIKE-SONY.redmond.corp.microsoft.com> | 2012-04-16 08:45:50 -0700 |
| commit | cbf9ade2c3839f303da41681d40067c28d703072 (patch) | |
| tree | 3f0e712f2aa20b7a75c043686466b5501bbf8cad /Test/test15 | |
| parent | 1a665e9a91b0f522687eedb12e805761a0508124 (diff) | |
Add options to control the emission of free ensures for
heap monotonicity (and allocatedness of references
returned from a method) as well as the assert/assume
checks that are generated for every object dereference.
Diffstat (limited to 'Test/test15')
0 files changed, 0 insertions, 0 deletions