tst.complex.d.out revision 9512fe850e98fdd448c638ca63fdd92a8a510255
1
------
i <= 5
i >= 5 || j >= 5
i < 5
j != 10
2
------
i <= 5
i >= 5 || j >= 5
i < 5
i == 2 (or) j == 2
i == 2 (and) j == 2
j != 10
j == 5 || i == 2
3
------
i <= 5
i >= 5 || j >= 5
i < 5
j != 10
4
------
i <= 5
i >= 5 || j >= 5
i < 5
j != 10
5
------
i == 5 (or) i == 10
i <= 5
j >= 5
i >= 5 || j >= 5
j >= 5 && i <= 55
j != 10
j == 5 || i == 2
6
------
j >= 5
i >= 5 || j >= 5
j != 10
7
------
j >= 5
i >= 5 || j >= 5
j != 10
8
------
j >= 5
i >= 5 || j >= 5
j != 10
9
------
j >= 5
i >= 5 || j >= 5
j != 10
10
------
i == 5 (or) i == 10
j >= 5
i >= 5 || j >= 5
i == 10