Searched refs:EnvThen (Results 1 – 1 of 1) sorted by relevance
3226 const Environment &EnvThen = Results[1].second.Env; in TEST() local3232 *cast<BoolValue>(EnvThen.getValue(*BarDecl, SkipPast::None)); in TEST()3233 EXPECT_TRUE(EnvThen.flowConditionImplies(BarValThen)); in TEST()3261 const Environment &EnvThen = Results[1].second.Env; in TEST() local3267 *cast<BoolValue>(EnvThen.getValue(*BarDecl, SkipPast::None)); in TEST()3268 EXPECT_FALSE(EnvThen.flowConditionImplies(BarValThen)); in TEST()