Searched refs:ThenEnv (Results 1 – 1 of 1) sorted by relevance
3713 const Environment &ThenEnv = Results[1].second.Env; in TEST() local3720 *cast<BoolValue>(ThenEnv.getValue(*FooDecl, SkipPast::None)); in TEST()3721 EXPECT_TRUE(ThenEnv.flowConditionImplies(ThenFooVal)); in TEST()