Searched refs:AfterLoopEnv (Results 1 – 1 of 1) sorted by relevance
3748 const Environment &AfterLoopEnv = Results[0].second.Env; in TEST() local3759 EXPECT_TRUE(AfterLoopEnv.flowConditionImplies( in TEST()3760 AfterLoopEnv.makeNot(AfterLoopFooVal))); in TEST()3785 const Environment &AfterLoopEnv = Results[0].second.Env; in TEST() local3804 EXPECT_TRUE(AfterLoopEnv.flowConditionImplies( in TEST()3805 AfterLoopEnv.makeNot(AfterLoopFooVal))); in TEST()3806 EXPECT_TRUE(AfterLoopEnv.flowConditionImplies( in TEST()3807 AfterLoopEnv.makeNot(AfterLoopBarVal))); in TEST()3830 const Environment &AfterLoopEnv = Results[0].second.Env; in TEST() local3841 EXPECT_TRUE(AfterLoopEnv.flowConditionImplies( in TEST()[all …]