util.c: manual_count: use isl_val

[barvinok.git] / tests / ehrhart / vol5

11 7
   1    4    0    1  -20    0   23 
   1   -4    0   -1   20    0  -21 
   1    1    0    0   -5    0    5 
   1   -1    0    0    5    0   -1 
   1    0   -4    0   -1    0 -124 
   1    0   -4  -20  -20   -1 -124 
   1    0    4    0    1    0  127 
   1    0    4   20   20    1  127 
   1    0    0    1    0    1   -2 
   1    0    0    0    1    0   -1 
   1    0    0    0    0   -1   20 
1 4
   1    0    0    1