test_bound.c: result_data: use isl_val

[barvinok.git] / tests / example2

# example on page 3
D 1
4 4
   1   1   0   0
   1   0   1   0
   1  -2  -1  10
   1   0  -1   2
F 0
16