p11 « old_test « examples « omega - chill.git - Composable High-level Loop Transformation Framework

summary refs log tree commit diff

path: root/omega/examples/old_test/p11

blob: 1871c82c9d1bc49d77bedb7ee508aacb2e236dbf (plain)

{[i] : 1 <= i <=  10
	&& ! i = 3
	&& ! i = 2
	&& ! i = 4
	&& ! i = 7
	&& ! i = 6
	&& ! i = 8
};