Lines Matching defs:AfterLoopEnv

5813         const Environment &AfterLoopEnv =
5822         auto &AfterLoopFooVal = getFormula(*FooDecl, AfterLoopEnv);
5824             AfterLoopEnv.proves(AfterLoopEnv.arena().makeNot(AfterLoopFooVal)));
5849         const Environment &AfterLoopEnv =
5851         auto &A = AfterLoopEnv.arena();
5864         auto &AfterLoopFooVal = getFormula(*FooDecl, AfterLoopEnv);
5865         auto &AfterLoopBarVal = getFormula(*BarDecl, AfterLoopEnv);
5866         EXPECT_TRUE(AfterLoopEnv.proves(A.makeNot(AfterLoopFooVal)));
5867         EXPECT_TRUE(AfterLoopEnv.proves(A.makeNot(AfterLoopBarVal)));
5890         const Environment &AfterLoopEnv =
5899         auto &AfterLoopFooVal = getFormula(*FooDecl, AfterLoopEnv);
5901             AfterLoopEnv.proves(AfterLoopEnv.arena().makeNot(AfterLoopFooVal)));