Searched refs:BarValElse (Results 1 – 1 of 1) sorted by relevance
3235 auto &BarValElse = in TEST() local3237 EXPECT_FALSE(EnvElse.flowConditionImplies(BarValElse)); in TEST()3270 auto &BarValElse = in TEST() local3272 EXPECT_TRUE(EnvElse.flowConditionImplies(BarValElse)); in TEST()