[Javabdd-checkins] JavaBDD_tests/regression R1.java,NONE,1.1

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

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

Added Files:
	R1.java 
Log Message:
Regression tests.

--- NEW FILE: R1.java ---
// R1.java, created Jul 28, 2004 2:22:19 AM by joewhaley
// Copyright (C) 2004 John Whaley <jw...@al...>
// Licensed under the terms of the GNU LGPL; see COPYING for details.
package regression;

import junit.framework.Assert;
import junit.framework.TestCase;
import org.sf.javabdd.BDD;
import org.sf.javabdd.BDDDomain;
import org.sf.javabdd.BDDFactory;

/**
 * satCount bug
 * 
 * @author John Whaley
 * @version $Id: R1.java,v 1.1 2004/07/28 09:35:25 joewhaley Exp $
 */
public class R1 extends TestCase {
    public static void main(String[] args) {
        junit.textui.TestRunner.run(R1.class);
    }
    
    public void testR1() {
        BDDFactory bdd = BDDFactory.init(1000, 1000);
        BDDDomain d = bdd.extDomain(new int[] { 16 })[0];
        BDD x = d.ithVar(6).orWith(d.ithVar(13));
        BDD set = d.set();
        double s1 = x.satCount(set);
        bdd.setVarNum(20);
        double s2 = x.satCount(set);
        Assert.assertEquals(s1, s2, 0.00001);
    }
}