Searched refs:FlowConditionTest (Results 1 – 1 of 1) sorted by relevance
714 class FlowConditionTest : public Test { class734 TEST_F(FlowConditionTest, IfStmtSingleVar) { in TEST_F() argument768 TEST_F(FlowConditionTest, IfStmtSingleNegatedVar) { in TEST_F() argument802 TEST_F(FlowConditionTest, WhileStmt) { in TEST_F() argument827 TEST_F(FlowConditionTest, Conjunction) { in TEST_F() argument870 TEST_F(FlowConditionTest, Disjunction) { in TEST_F() argument913 TEST_F(FlowConditionTest, NegatedConjunction) { in TEST_F() argument956 TEST_F(FlowConditionTest, DeMorgan) { in TEST_F() argument999 TEST_F(FlowConditionTest, Join) { in TEST_F() argument1035 TEST_F(FlowConditionTest, OpaqueFlowConditionMergesToOpaqueBool) { in TEST_F() argument[all …]