Blame isl-0.14/test_inputs/codegen/atomic3.in
|
Packit |
fb9d21 |
# Check that isl is not confused by inconsistent
|
|
Packit |
fb9d21 |
# separation_class and atomic options.
|
|
Packit |
fb9d21 |
{ sync[] -> [i, 0] : 0 <= i <= 64 }
|
|
Packit |
fb9d21 |
{ : }
|
|
Packit |
fb9d21 |
{ [i, 0] -> separation_class[[1] -> [0]] : 1 <= i <= 62; [i, 0] -> atomic[1]}
|