Searched refs:BarValThen (Results 1 – 1 of 1) sorted by relevance
3231 auto &BarValThen = in TEST() local3233 EXPECT_TRUE(EnvThen.flowConditionImplies(BarValThen)); in TEST()3266 auto &BarValThen = in TEST() local3268 EXPECT_FALSE(EnvThen.flowConditionImplies(BarValThen)); in TEST()