verify_point_data_init: use isl_set_card to count elements in context
commite707074df19b90744dff0f0b6913ffbb71dc46ff
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 3 May 2013 07:05:19 +0000 (3 09:05 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 6 Jul 2013 06:48:40 +0000 (6 08:48 +0200)
treeb7724368da911c252bfbe19f9b14462299d7b1e9
parentdb726b2c27c65e7ff2ca1d0ac5613349fe3d43be
verify_point_data_init: use isl_set_card to count elements in context

We are not testing the (non-parametric) counting itself here,
so we might as well use it for counting the number of elements in the context.

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