| commit | ca10080dfcc861720c6354c4ec1b937f5eec106f | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 13 Mar 2013 07:43:59 +0000 (13 08:43 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 13 Mar 2013 08:21:34 +0000 (13 09:21 +0100) | ||
| tree | 917e18527a6dc65793268e19f3c4812f8d200049 | treesnapshot (tar.gz zip) |
| parent | 74218a8133bd6864724192a1a58c83548012d578 | commitdiff |
isl_basic_set_parameter_compression: extend assertion
We were only checking if the number of equalities is less than
or equal to the number of variables, while the code also assumes
that all of the equalities involves at least one variable.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
We were only checking if the number of equalities is less than
or equal to the number of variables, while the code also assumes
that all of the equalities involves at least one variable.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_morph.c | diffblobblamehistory |