sanitizer_common/tests/sanitizer_bvgraph_test.cc

91       bool is_reachable = g.isReachable(from, target);
181   EXPECT_FALSE(g.isReachable(f0, target));
182   EXPECT_FALSE(g.isReachable(f1, target));
183   EXPECT_FALSE(g.isReachable(f2, target));
184   EXPECT_FALSE(g.isReachable(f3, target));
189   EXPECT_FALSE(g.isReachable(f0, target));
190   EXPECT_FALSE(g.isReachable(f1, target));
191   EXPECT_FALSE(g.isReachable(f2, target));
192   EXPECT_FALSE(g.isReachable(f3, target));
195   EXPECT_TRUE(g.isReachable(f0, target));
196   EXPECT_TRUE(g.isReachable(f1, target));
197   EXPECT_FALSE(g.isReachable(f2, target));
198   EXPECT_FALSE(g.isReachable(f3, target));
208   EXPECT_TRUE(g.isReachable(f0, target));
209   EXPECT_TRUE(g.isReachable(f1, target));
210   EXPECT_TRUE(g.isReachable(f2, target));
211   EXPECT_TRUE(g.isReachable(f3, target));
214 TEST(BVGraph, isReachable) {
253     EXPECT_TRUE(g.isReachable(start, target));
282   EXPECT_TRUE(g.isReachable(1, t7));