isl_test_int: add more isl_int_cdiv_q tests
commitf5668033fe3d969bfbfc6a87dd8ac4ca8442bd2d
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 10 Apr 2017 10:17:18 +0000 (10 12:17 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Thu, 25 May 2017 14:13:31 +0000 (25 16:13 +0200)
tree5ec2ce3f25f743feac15def5c2f41211097dfaa7
parent9bf8799c8f4e0ad294bcf6f214c718925e298d20
isl_test_int: add more isl_int_cdiv_q tests

In particular, add some test cases with larger numbers.
These new test cases will also be used to test isl_int_cdiv_q_ui,
which will be added in the next commit.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_test_int.c