diff options
author | qadeer <unknown> | 2014-09-18 09:33:33 -0700 |
---|---|---|
committer | qadeer <unknown> | 2014-09-18 09:33:33 -0700 |
commit | d1d367b1e9fb1cde673332030ef68b230c22dd06 (patch) | |
tree | ad14b94d32a7fac1c18b872f79294abda3a05384 /Test/inline | |
parent | 0c35477ac7e7fb5b73b3c64e301e09cd876c0703 (diff) |
InlineAssume attribute for ensures clauses; if present, the ensures condition is assumed while inlining.
Diffstat (limited to 'Test/inline')
0 files changed, 0 insertions, 0 deletions