[/] [trunk/] [src/] [maketest/] [tests/] [testflip02] - Rev 4
Test formation of partitions for two variables.
Result:
{select ()
action: [x]
((y==x) && ((z<=3) && (z>2))) }
{select ()
action: [y]
((y!=x) && (z>2)) }
{select ()
action: [x]
((y!=x) && (z<=3)) }
--
int x, y;
int z;
chan c[4];
--
c[x]?
z > 3
--
c[y]?
z <= 2