test isl_space_get_tuple_domain_hash instead of isl_space_get_full_domain_hash
commite42710e749fac3bd1c30e5f0c725fc557da79307
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 6 Feb 2017 09:16:56 +0000 (6 10:16 +0100)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 1 Sep 2020 20:42:19 +0000 (1 22:42 +0200)
tree139dcf7408fac6baf00cdb4b99e58f13fabf7f83
parente10c6fd114dfdcf0ad61c8f5f8a8f92c30da427d
test isl_space_get_tuple_domain_hash instead of isl_space_get_full_domain_hash

Since all uses of isl_space_get_full_domain_hash
have been replaced by isl_space_get_tuple_domain_hash,
it is more important to test the correctness
of isl_space_get_tuple_domain_hash.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_test.c