test_bound.c: result_data: use isl_val

[barvinok.git] / tests / decomposition12

D 1
4 5
1  -1  -2   0   1 
1   1   2   1  -1 
1   0   1   0   0 
1  -1  -4  -2   2 

F 0
2