dparseTest.java

// helps debug dparser -- reads in name of a debug file
// from command line, and iterates until end of debug file
// is reached.

public class dparseTest {
    public static void main( String args[] ) {
        try {
            dparser d = new dparser( args[0] );
            while ( true ) {
                SATtest t = d.getNextTest();
                if ( t == null )
                    break;
                t.print();
            }
        }
        catch ( dparseException d ) {
            System.err.println( d.getMessage() );
            System.err.println( "Processing of " + args[0] + " aborted" );
            System.exit( 1 );
        }
        System.err.println( "Processing of " + args[0] + " completed" );
    }
}