Lines Matching defs:LoopBodyEnv

5811         const Environment &LoopBodyEnv =
5819         auto &LoopBodyFooVal = getFormula(*FooDecl, LoopBodyEnv);
5820         EXPECT_TRUE(LoopBodyEnv.proves(LoopBodyFooVal));
5847         const Environment &LoopBodyEnv =
5859         auto &LoopBodyFooVal= getFormula(*FooDecl, LoopBodyEnv);
5860         auto &LoopBodyBarVal = getFormula(*BarDecl, LoopBodyEnv);
5862             LoopBodyEnv.proves(A.makeOr(LoopBodyBarVal, LoopBodyFooVal)));
5888         const Environment &LoopBodyEnv =
5896         auto &LoopBodyFooVal= getFormula(*FooDecl, LoopBodyEnv);
5897         EXPECT_TRUE(LoopBodyEnv.proves(LoopBodyFooVal));
5919         const Environment &LoopBodyEnv =
5925         auto &LoopBodyFooVal= getFormula(*FooDecl, LoopBodyEnv);
5926         EXPECT_FALSE(LoopBodyEnv.proves(LoopBodyFooVal));