test_bound.c: result_data: use isl_val

[barvinok.git] / tests / decomposition4

D 1
9 5
1   4   1  -4  -1
1   0  -1   0   5
1   0   0   1   0 
1  -1   0   1   1 
1  -6  -1   5  11 
1   0   0  -1   1
1   0  -1   0   1
1   1   0   0  -1
1   0   1   0   0

F 0
5