| commit | 8f3de0bdf0e3cdc074c0caaa4158d85cb3857827 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 18 Apr 2007 15:05:36 +0000 (18 17:05 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 18 Apr 2007 15:05:53 +0000 (18 17:05 +0200) | ||
| tree | 6cf6158309e4460ba51fd41cf86027d66802b7ea | treesnapshot (tar.gz zip) |
| parent | 0f580d8054da16f56fe7f62ed04ec220f9fa9f94 | commitdiff |
barvinok_enumerate: recheck for equalities after "variable compression"
Simplification of the new constraints may uncover further equalities,
so we have to remove them as well. This fixes a failing test introduced
in c453516d86d163877dc7c2b1f71c8a348962c99a.
Simplification of the new constraints may uncover further equalities,
so we have to remove them as well. This fixes a failing test introduced
in c453516d86d163877dc7c2b1f71c8a348962c99a.
| barvinok.cc | diffblobblamehistory |