001    package ps3.test;
002    
003    import junit.framework.Test;
004    import junit.framework.TestSuite;
005    
006    /*
007     * SpecificationTests is a test suite containing your black
008     * box (specification-based) tests.  Only tests which test
009     * specifications provided by the course staff (that is, tests
010     * which all students' implementations should pass) belong here.
011     */
012    public final class SpecificationTests extends TestSuite
013    {
014        public static Test suite() { return new SpecificationTests(); }
015        public SpecificationTests() { this("Problem Set 3 SpecificationTests"); }
016        public SpecificationTests(String s)
017        {
018            super(s);
019            addTest(ScriptFileTests.suite());
020        }
021    }