Lines Matching refs:FC2
158 auto &FC2 = Context.forkFlowCondition(FC1); in TEST_F() local
159 EXPECT_TRUE(Context.flowConditionImplies(FC2, C1)); in TEST_F()
164 Context.addFlowConditionConstraint(FC2, C2); in TEST_F()
165 EXPECT_TRUE(Context.flowConditionImplies(FC2, C2)); in TEST_F()
178 auto &FC2 = Context.makeFlowConditionToken(); in TEST_F() local
179 Context.addFlowConditionConstraint(FC2, C2); in TEST_F()
180 Context.addFlowConditionConstraint(FC2, C3); in TEST_F()
182 auto &FC3 = Context.joinFlowConditions(FC1, FC2); in TEST_F()
194 auto &FC2 = Context.makeFlowConditionToken(); in TEST_F() local
195 Context.addFlowConditionConstraint(FC2, Context.getBoolLiteralValue(true)); in TEST_F()
196 EXPECT_TRUE(Context.flowConditionIsTautology(FC2)); in TEST_F()
501 auto &FC2 = Context.makeFlowConditionToken(); in TEST_F() local
502 Context.addFlowConditionConstraint(FC2, Y); in TEST_F()
504 auto &JoinedFC = Context.joinFlowConditions(FC1, FC2); in TEST_F()