| commit | 8e21cf3bcce18579d38f85818e0e172751a04859 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 19 Apr 2015 15:44:29 +0000 (19 17:44 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 1 May 2015 07:11:18 +0000 (1 09:11 +0200) | ||
| tree | 772517ce581b440efdead1520deba1108dc5c7be | treesnapshot (tar.gz zip) |
| parent | 10fa52f19c1d1b252b46e4484753edf9853a516b | commitdiff |
isl_tab_compute_reduced_basis: only print error message on actual non-solution
The original assert hints that the error is caused by an unexpected
unboundedness, but the called function may also fail due to a failed
memory allocation or because the computation has exceeded the maximal
number of operations. In these latter cases, no (additional) error
message should be printed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The original assert hints that the error is caused by an unexpected
unboundedness, but the called function may also fail due to a failed
memory allocation or because the computation has exceeded the maximal
number of operations. In these latter cases, no (additional) error
message should be printed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| basis_reduction_tab.c | diffblobblamehistory | |
| basis_reduction_templ.c | diffblobblamehistory |