let DataFlowInspectionTestSuite include nullity inference test

This commit is contained in:
peter
2014-11-28 16:02:57 +01:00
parent b30e043a14
commit 832cca42a3
@@ -30,6 +30,7 @@ public class DataFlowInspectionTestSuite {
suite.addTestSuite(DataFlowInspectionAncientTest.class);
suite.addTestSuite(ContractCheckTest.class);
suite.addTestSuite(ContractInferenceFromSourceTest.class);
suite.addTestSuite(NullityInferenceFromDfaTest.class);
suite.addTestSuite(PurityInferenceFromSourceTest.class);
suite.addTestSuite(SliceTreeTest.class);
suite.addTestSuite(SliceBackwardTest.class);