util.c: manual_count: use isl_val

[barvinok.git] / tests / infinite7

D 1
5 6
   1  -19   11    6    3   21 
   1   17   -1   -6   -3   21 
   1    1   -2    0    0  -15 
   1    1    1    0   -3    2 
   1   -1   -1    0    3    0 
F 0
-1