diff options
| author |  Rustan Leino <unknown> | 2013-12-30 18:36:39 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-12-30 18:36:39 -0800 |
| commit | dfe6334aed573886f913610df17ea5a427dd98a0 (patch) | |
| tree | d9286856699734c1038ec92f48e9ba8553677ae6 /Binaries | |
| parent | 73ced41e0a39cf3133e6f34328d24a39aeb2e60e (diff) | |
Hover text for inferred postconditions of 'forall' statements (the one for calls leaves something to be desired)
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions