barvinok_enumerate_e: add --verbose option

[barvinok.git] / tests / infinite6

D 1
7 7
   1    1    7   -3    0   -3  -25
   1    6    0   -2    9    3   25
   1    3    0   -6    7   -6  -25
   1   -1    0    6    0    3   27
   1   -4  -21  -21    0  -21 -122
   1   -1   -6    0    0    0   -3
   1   -4    0    3   -9    3    2
F 0
-1