| commit | cb8ed9ad5cc58bf4d58a7c6522d2d3faaa3a5377 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 24 May 2016 12:55:48 +0000 (24 14:55 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 25 May 2016 13:44:14 +0000 (25 15:44 +0200) | ||
| tree | d38688120e6e5765b4a5ef0da2788269dc585b5e | treesnapshot (tar.gz zip) |
| parent | be7a709511eb263d7f769f552860ebfb9c876490 | commitdiff |
isl_test.c: test_div: extract out test_elimination
This will make it easier to add extra tests that check
that redundant existentially quantified variables are getting eliminated.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
This will make it easier to add extra tests that check
that redundant existentially quantified variables are getting eliminated.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_test.c | diffblobblamehistory |