[Javabdd-checkins] JavaBDD_tests .classpath,NONE,1.1 NQueensTest.java,NONE,1.1 .project,NONE,1.1

[John W. <joe...@us...>]

Update of /cvsroot/javabdd/JavaBDD_tests
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv7859

Added Files:
	.classpath NQueensTest.java .project 
Log Message:
Test suite for JavaBDD.

--- NEW FILE: .project ---
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
	<name>JavaBDD_tests</name>
	<comment></comment>
	<projects>
		<project>JavaBDD</project>
	</projects>
	<buildSpec>
		<buildCommand>
			<name>org.eclipse.jdt.core.javabuilder</name>
			<arguments>
			</arguments>
		</buildCommand>
	</buildSpec>
	<natures>
		<nature>org.eclipse.jdt.core.javanature</nature>
	</natures>
</projectDescription>

--- NEW FILE: NQueensTest.java ---
// NQueensTest.java, created Jul 28, 2004 1:44:28 AM by joewhaley
// Copyright (C) 2004 John Whaley <jw...@al...>
// Licensed under the terms of the GNU LGPL; see COPYING for details.
import org.sf.javabdd.BDDFactory;
import junit.framework.Assert;
import junit.framework.TestCase;

/**
 * NQueensTest
 * 
 * @author John Whaley
 * @version $Id: NQueensTest.java,v 1.1 2004/07/28 09:20:39 joewhaley Exp $
 */
public class NQueensTest extends TestCase {
    public static void main(String[] args) {
        junit.textui.TestRunner.run(NQueensTest.class);
    }
    
    public static final int CHECK = 10;
    public static final double[] ANSWERS =
    { 1., 0., 0., 2., 10., 4., 40., 92., 352., 724., 2680., 14200.,
      73712., 365596., 2279184., 14772512., 95815104., 666090624.,
      4968057848., 39029188884., 314666222712., 2691008701644.,
      24233937684440. };
    
    public void testNQueens() {
        for (int i = 1; i <= CHECK; ++i) {
            NQueens.N = i;
            double n = NQueens.runTest();
            Assert.assertEquals(n, ANSWERS[i-1], 0.1);
            NQueens.freeAll();
        }
        NQueens.B.done();
        NQueens.B = null;
    }
}

--- NEW FILE: .classpath ---
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
	<classpathentry kind="src" path=""/>
	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
	<classpathentry sourcepath="ECLIPSE_HOME/plugins/org.eclipse.jdt.source_3.0.0/src/org.junit_3.8.1/junitsrc.zip" kind="var" path="JUNIT_HOME/junit.jar"/>
	<classpathentry kind="src" path="/JavaBDD"/>
	<classpathentry kind="output" path=""/>
</classpath>