polly/lib/External/isl/test_inputs/schedule/flat5.st - llvm-project - Git at Google

 domain: "{ S[a, b] : b >= -9 + a and b >= 0 and 10b <= a }"
 child:
   schedule: "[{ S[a, b] -> [(a)] }]"
   permutable: 1
   coincident: [ 1 ]
	domain: "{ S[a, b] : b >= -9 + a and b >= 0 and 10b <= a }"
	child:
	schedule: "[{ S[a, b] -> [(a)] }]"
	permutable: 1
	coincident: [ 1 ]