Lines Matching refs:edge
26 ; CHECK: edge b1 -> b2 probability is 0x4ccccccd / 0x80000000 = 60.00%
27 ; CHECK: edge b1 -> b3 probability is 0x33333333 / 0x80000000 = 40.00%
63 ; CHECK: edge b1 -> b2 probability is 0x73333333 / 0x80000000 = 90.00%
64 ; CHECK: edge b1 -> b3 probability is 0x0ccccccd / 0x80000000 = 10.00%
104 ; CHECK: edge b1 -> b2 probability is 0x10505050 / 0x80000000 = 12.75%
105 ; CHECK: edge b1 -> b4 probability is 0x6fafafb0 / 0x80000000 = 87.25%
111 ; CHECK: edge b2 -> b3 probability is 0x80000000 / 0x80000000 = 100.00%
122 ; CHECK: edge b4 -> b5 probability is 0x80000000 / 0x80000000 = 100.00%
182 ; CHECK: edge b1 -> b2 probability is 0x80000000 / 0x80000000 = 100.00%
188 ; CHECK: edge b2 -> b4 probability is 0x7ffa8844 / 0x80000000 = 99.98%
189 ; CHECK: edge b2 -> b3 probability is 0x000577bc / 0x80000000 = 0.02%
195 ; CHECK: edge b3 -> b9 probability is 0x80000000 / 0x80000000 = 100.00%
201 ; CHECK: edge b4 -> b5 probability is 0x80000000 / 0x80000000 = 100.00%
202 ; CHECK: edge b4 -> b6 probability is 0x00000000 / 0x80000000 = 0.00%
208 ; CHECK: edge b5 -> b7 probability is 0x80000000 / 0x80000000 = 100.00%
214 ; CHECK: edge b6 -> b8 probability is 0x80000000 / 0x80000000 = 100.00%
220 ; CHECK: edge b7 -> b8 probability is 0x80000000 / 0x80000000 = 100.00%
226 ; CHECK: edge b8 -> b9 probability is 0x80000000 / 0x80000000 = 100.00%