diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-12-12 13:52:36 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-12-12 13:52:36 -0800 |
| commit | a0331bcece67f35325fe70f2fda1b87d66397ab1 (patch) | |
| tree | 29a3325b513466bbd112c50d7ccd101277ef3773 /Source/AbsInt | |
| parent | b476991da92ea85c4d1a3cad84dc5171e08a4cf8 (diff) | |
Boogie: Changed Expr.Not to keep swap arguments rather change direction of operator when negating <, <=, >=, or >
Diffstat (limited to 'Source/AbsInt')
0 files changed, 0 insertions, 0 deletions