Searched refs:DataflowAnalysisContextTest (Results 1 – 3 of 3) sorted by relevance
20 class DataflowAnalysisContextTest : public ::testing::Test { class22 DataflowAnalysisContextTest() in DataflowAnalysisContextTest() function in __anondd45ead80111::DataflowAnalysisContextTest30 TEST_F(DataflowAnalysisContextTest, DistinctTopsNotEquivalent) { in TEST_F() argument36 TEST_F(DataflowAnalysisContextTest, TautologicalFlowConditionImplies) { in TEST_F() argument43 TEST_F(DataflowAnalysisContextTest, TautologicalFlowConditionAllows) { in TEST_F() argument50 TEST_F(DataflowAnalysisContextTest, ContradictoryFlowConditionImpliesAnything) { in TEST_F() argument58 TEST_F(DataflowAnalysisContextTest, ContradictoryFlowConditionAllowsNothing) { in TEST_F() argument66 TEST_F(DataflowAnalysisContextTest, AddFlowConditionConstraint) { in TEST_F() argument73 TEST_F(DataflowAnalysisContextTest, AddInvariant) { in TEST_F() argument80 TEST_F(DataflowAnalysisContextTest, InvariantAndFCConstraintInteract) { in TEST_F() argument[all …]
12 DataflowAnalysisContextTest.cpp
26 "DataflowAnalysisContextTest.cpp",