test_bound: use isl during verification
commit43064e99207d3876cb30ef12d113d9517ab1e714
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 22 Mar 2010 14:53:32 +0000 (22 15:53 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 14 May 2010 19:24:51 +0000 (14 21:24 +0200)
tree6f75c0168f86336f6384606cdd54911db59ffd29
parent2fef73388d072be7b368f5c65de7bee0445884e4
test_bound: use isl during verification
test_bound.cc