001package daikon.test;
002
003import org.junit.runner.RunWith;
004import org.junit.runners.Suite;
005
006/** All Daikon's unit tests. Does not include system tests. */
007@RunWith(Suite.class)
008@Suite.SuiteClasses({
009  daikon.test.TestClassOrInterfaceTypeDecorateVisitor.class,
010  daikon.test.TestAst.class,
011  daikon.test.config.ConfigurationTest.class,
012  daikon.test.config.HtmlToTexinfoTest.class,
013  daikon.test.diff.ConsequentCVFPairComparatorTester.class,
014  daikon.test.diff.ConsequentCVFSortComparatorTester.class,
015  daikon.test.diff.DetailedStatisticsVisitorTester.class,
016  daikon.test.diff.DiffTester.class,
017  daikon.test.diff.InvMapTester.class,
018  daikon.test.diff.MinusVisitorTester.class,
019  daikon.test.diff.PrintDifferingInvariantsVisitorTester.class,
020  daikon.test.diff.UnionVisitorTester.class,
021  daikon.test.diff.XorVisitorTester.class,
022  daikon.test.InvariantFormatTester.class,
023  daikon.test.SampleTester.class,
024  daikon.test.inv.InvariantTester.class,
025  daikon.test.inv.unary.scalar.OneOfScalarTester.class,
026  daikon.test.inv.unary.sequence.OneOfSequenceTester.class,
027  daikon.test.LinearTernaryCoreTest.class,
028  daikon.test.ModBitTrackerTest.class,
029  daikon.test.ProglangTypeTest.class,
030  daikon.test.VarComparabilityTest.class,
031  daikon.test.VarInfoNameTest.class,
032  daikon.test.inv.InvariantAddAndCheckTester.class,
033  daikon.test.TestQuant.class,
034  daikon.test.TestAnnotate.class,
035  daikon.test.DtraceDiffTester.class,
036  //       ,
037  //       // I'm having trouble with this; need to fix, reinstate, and not call
038  //       // specially from Makefile.  -MDE 7/8/2005
039  //       daikon.test.split.SplitterFactoryTest.class
040})
041public final class AllTestsSuite {}