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 /Test/aitest0 | |
parent | b476991da92ea85c4d1a3cad84dc5171e08a4cf8 (diff) |
Boogie: Changed Expr.Not to keep swap arguments rather change direction of operator when negating <, <=, >=, or >
Diffstat (limited to 'Test/aitest0')
0 files changed, 0 insertions, 0 deletions