Searched refs:hasDetectedDivergence (Results 1 – 2 of 2) sorted by relevance
91 EXPECT_FALSE(DA.hasDetectedDivergence()); in TEST_F()95 EXPECT_FALSE(DA.hasDetectedDivergence()); in TEST_F()101 EXPECT_TRUE(DA.hasDetectedDivergence()); in TEST_F()105 EXPECT_TRUE(DA.hasDetectedDivergence()); in TEST_F()139 EXPECT_FALSE(DA.hasDetectedDivergence()); in TEST_F()149 EXPECT_TRUE(DA.hasDetectedDivergence()); in TEST_F()193 EXPECT_FALSE(DA.hasDetectedDivergence()); in TEST_F()203 EXPECT_TRUE(DA.hasDetectedDivergence()); in TEST_F()415 EXPECT_FALSE(DA.hasDetectedDivergence()); in TEST_F()421 EXPECT_TRUE(DA.hasDetectedDivergence()); in TEST_F()
71 bool hasDetectedDivergence() const { return !DivergentValues.empty(); } in hasDetectedDivergence() function160 return ContainsIrreducible || DA->hasDetectedDivergence(); in hasDivergence()